CoRR, September 2015

Markus Vogt, Gerald Hempel, Jerónimo Castrillón, Christian Hochberger:
GCC-Plugin for Automated Accelerator Generation and Integration on Hybrid FPGA-SoCs.
Shaodong Qin, Mladen Berekovic:
A Comparison of High-Level Design Tools for SoC-FPGA on Disparity Map Calculation Example.
Kentaro Sano:
DSL-based Design Space Exploration for Temporal and Spatial Parallelism of Custom Stream Computing.
Cheng Liu, Ho-Cheung Ng, Hayden Kwok-Hay So:
Automatic Nested Loop Acceleration on FPGAs Using Soft CGRA Overlay.
William Bradley Glisson, Todd R. Andel, Jeffrey Todd McDonald, Mike Jacobs, Matt Campbell, Johnny Mayr:
Compromising a Medical Mannequin.
Tianyu Wang, Lingyang Song, Zhu Han, Walid Saad:
Overlapping Coalition Formation Games for Emerging Communication Networks.
B. L. Ji, H. Li, Q. Ye, S. Gausepohl, S. Deora, D. Veksler, S. Vivekanand, H. Chong, H. Stamper, T. Burroughs, C. Johnson, M. Smalley, S. Bennett, V. Kaushik, J. Piccirillo, M. Rodgers, M. Passaro, M. Liehr:
In-Line-Test of Variability and Bit-Error-Rate of HfOx-Based Resistive Memory.
Samuel Kadoury, Eugene Vorontsov, An Tang:
Metastatic liver tumour segmentation from discriminant Grassmannian manifolds.
S. Khosravani, I. N. Moghaddam, A. Afshar, M. Karrari:
Fault Tolerant Control of Power Systems in presence of Sensor Failure.
Li Chen, Pooja Jain, Kingsum Chow, Emad Guirguis, Tony Wu:
Brewing Analytics Quality for Cloud Performance.
Bjarki Ágúst Guðmundsson, Tómas Ken Magnússon, Björn Orri Sæmundsson:
Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring (Extended Version).
(Withdrawn) Truth Discovery to Resolve Object Conflicts in Linked Data.
Gerard David Howard, Larry Bull, Ben de Lacy Costello:
Evolving Unipolar Memristor Spiking Neural Networks.
Audrey G. Chung, Mohammad Javad Shafiee, Devinder Kumar, Farzad Khalvati, Masoom A. Haider, Alexander Wong:
Discovery Radiomics for Multi-Parametric MRI Prostate Cancer Detection.
M. Salman Asif, Ali Ayremlou, Aswin C. Sankaranarayanan, Ashok Veeraraghavan, Richard G. Baraniuk:
FlatCam: Thin, Bare-Sensor Cameras using Coded Aperture and Computation.
Devinder Kumar, Mohammad Javad Shafiee, Audrey G. Chung, Farzad Khalvati, Masoom A. Haider, Alexander Wong:
Discovery Radiomics for Computed Tomography Cancer Detection.
Piotr Indyk, Sepideh Mahabadi, Ali Vakilian:
Towards Tight Bounds for the Streaming Set Cover Problem.
Yifei Huang, Ali A. Nasir, Salman Durrani, Xiangyun Zhou:
Mode Selection, Resource Allocation and Power Control for D2D-Enabled Two-Tier Cellular Network.



Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus:
Automatic Software Diversity in the Light of Test Suites.
Vojtech Kovarík, Viliam Lisý:
Analysis of Hannan Consistent Selection for Monte Carlo Tree Search in Simultaneous Move Games.
Zhangyang Wang, Shiyu Chang, Jiayu Zhou, Thomas S. Huang:
Learning A Task-Specific Deep Architecture For Clustering.
(Withdrawn) Tumor Motion Tracking in Liver Ultrasound Images Using Mean Shift and Active Contour.
Zhihan Lv, Xiaoming Li:
Preprint Virtual Reality Assistant Technology for Learning Primary Geography.
Nikolaos I. Miridakis, Dimitrios D. Vergados, Angelos Michalas:
Cooperative Relaying in Underlay Cognitive Systems with Hardware Impairments.
Mohammad Karzand, Douglas J. Leith, Jason Cloud, Muriel Médard:
Low Delay Random Linear Coding Over a Stream.
Pan Zhou, Yingxue Zhou, Dapeng Wu, Hai Jin:
Differentially Private Online Learning for Video Recommendation with Social Big Data over Media Cloud.
Michela Del Vicario, Alessandro Bessi, Fabiana Zollo, Fabio Petroni, Antonio Scala, Guido Caldarelli, Harry Eugene Stanley, Walter Quattrociocchi:
Echo chambers in the age of misinformation.
Vladimir Savic, Erik G. Larsson:
Fingerprinting-Based Positioning in Distributed Massive MIMO Systems.
Roel Matthysen, Daan Huybrechs:
Fast Algorithms for the computation of Fourier Extensions of arbitrary length.
Osuolale Abdulrahamon Tiamiyu:
Trusted routing vs. VPN for secured data transfer over IP-networks/Internet.
Vladimir Savic, Henk Wymeersch, Erik G. Larsson:
Target Tracking in Confined Environments with Uncertain Sensor Positions.
Jeremiah Blocki, Anupam Datta:
CASH: A Cost Asymmetric Secure Hash Algorithm for Optimal Password Protection.
(Withdrawn) Location-Aware Dynamic Resource Management for High-Speed Railway Wireless Communications.

Michael G. Kallitsis, Stilian Stoev, Shrijita Bhattacharya, George Michailidis:
AMON: An Open Source Architecture for Online Monitoring, Statistical Analysis and Forensics of Multi-gigabit Streams.

Azadeh Faridi, Boris Bellalta, Alessandro Checco:
Analysis of Dynamic Channel Bonding in Dense Networks of WLANs.
Tae Hyun Oh, Yasuyuki Matsushita, Yu-Wing Tai, In So Kweon:
Fast Randomized Singular Value Thresholding for Nuclear Norm Minimization.
Justus A. Calvin, Cannada A. Lewis, Edward F. Valeev:
Scalable Task-Based Algorithm for Multiplication of Block-Rank-Sparse Matrices.
K. C. Amit Kumar, Damien Delannay, Christophe De Vleeschouwer:
Iterative hypothesis testing for multi-object tracking in presence of features with variable reliability.


Martin Hoefer, Thomas Kesselheim, Bojana Kodric:
Smoothness for Simultaneous Composition of Mechanisms with Admission.
Dantong Liu, Lifeng Wang, Yue Chen, Maged Elkashlan, Kai-Kit Wong, Robert Schober, Lajos Hanzo:
User Association in 5G Networks: A Survey and an Outlook.
Kezhi Wang, Kun Yang, Chathura M. Sarathchandra Magurawalage:
Joint Energy Minimization and Resource Allocation in C-RAN with Mobile Cloud.
Eric Brier, Jean-Sébastien Coron, Rémi Géraud, Diana Maimut, David Naccache:
A Number-Theoretic Error-Correcting Code.
Lukas Barth, Andreas Gemsa, Benjamin Niedermann, Martin Nöllenburg:
On the Readability of Boundary Labeling.
Franz J. Brandenburg, Walter Didimo, William S. Evans, Philipp Kindermann, Giuseppe Liotta, Fabrizio Montecchiani:
Recognizing and Drawing IC-planar Graphs.
Sijia Deng, Mathew K. Samimi, Theodore S. Rappaport:
28 GHz and 73 GHz Millimeter-Wave Indoor Propagation Measurements and Path Loss Models.
Erik Steinmetz, Matthias Wildemeersch, Tony Q. S. Quek, Henk Wymeersch:
Reception Probabilities in 5G Vehicular Communications close to Intersections.
Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language.
Theodore S. Rappaport, Sijia Deng:
73 GHz Wideband Millimeter-Wave Foliage and Ground Reflection Measurements and Models.
Irina Kostitsyna, Martin Nöllenburg, Valentin Polishchuk, André Schulz, Darren Strash:
On Minimizing Crossings in Storyline Visualizations.
Stefano Galli, Kenneth J. Kerpez, Hubert Mariotte, Fabienne Moulin:
PLC-to-DSL Interference: Statistical Model and Impact on DSL.
Dániel Kondor, Pierrick Thébault, Sebastian Grauwin, István Gódor, Simon Moritz, Stanislav Sobolevsky, Carlo Ratti:
Visualizing signatures of human activity in cities across the globe.
Laura Toni, Gene Cheung, Pascal Frossard:
In-Network View Synthesis for Interactive Multiview Video Systems.
Dezhi Hong, Jorge Ortiz, Arka Aloke Bhattacharya, Kamin Whitehouse:
Sensor-Type Classification in Buildings.
Ahmed O. D. Ali, Cenk M. Yetis, Murat Torlak:
Second-Order Statistics of MIMO Rayleigh Interference Channels: Theory, Applications, and Analysis.
S. Sedef Savas, Massimo Tornatore, M. Farhan Habib, Pulak Chowdhury, Biswanath Mukherjee:
Disaster-Resilient Control Plane Design and Mapping in Software-Defined Networks.



Scott Wisdom, Thomas Powers, Les Atlas, James W. Pitton:
Enhancement and Recognition of Reverberant and Noisy Speech by Extending Its Coherence.
Masashi Wakaiki, Yutaka Yamamoto:
Stabilization of continuous-time switched linear systems with quantized output feedback.
Wenzhuo Ouyang, Jingwen Bai, Ashutosh Sabharwal:
Leveraging One-hop Information in Massive MIMO Full-Duplex Wireless Systems.
Masashi Wakaiki, Yutaka Yamamoto:
Stability analysis of sampled-data switched systems with quantization.

Elvis H. W. Xu, Pak Ming Hui:
Efficient Detection of Communities with Significant Overlaps in Networks: Partial Community Merger Algorithm.
Alireza Louni, Santhanakrishnan Anand, K. P. Subbalakshmi:
Identification of Source of Rumors in Social Networks with Incomplete Information.
Xi Peng, Juei-Chin Shen, Jun Zhang, Khaled Ben Letaief:
Backhaul-Aware Caching Placement for Wireless Networks.
Hiroyuki Fukumoto, Kazunori Hayashi:
Overlap Frequency Domain Equalization for Faster-than-Nyquist Signaling.
Michael Fire, Jonathan Schler:
Exploring Online Ad Images Using a Deep Convolutional Neural Network Approach.


S. Laqrichi, Didier Gourc, François Marmier:
Toward an effort estimation model for software projects integrating risk.
Alessio Lomuscio, Jakub Michaliszyn:
Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions.
Dominik D. Freydenberger, Pawel Gawrychowski, Juhani Karhumäki, Florin Manea, Wojciech Rytter:
Testing k-binomial equivalence.
Olga Gadyatskaya:
How to Generate Security Cameras: Towards Defence Generation for Socio-Technical Systems.
Manish Mandloi, Mohammed Azahar Hussain, Vimal Bhatia:
Improved Multiple Feedback Successive Interference Cancellation Algorithm for Near-Optimal MIMO Detection.
Frédéric Blanqui:
Termination of rewrite relations on $λ$-terms based on Girard's notion of reducibility.
(Withdrawn) Manipulated Object Proposal: A Discriminative Object Extraction and Feature Fusion Framework for First-Person Daily Activity Recognition.
Derek Doran, Samir Yelne, Luisa Massari, Maria Carla Calzarossa, LaTrelle Jackson, Glen Moriarty:
Stay Awhile and Listen: User Interactions in a Crowdsourced Platform Offering Emotional Support.
Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli, Ioannis G. Tollis:
L-Drawings of Directed Graphs.
Alexander M. Rush, Sumit Chopra, Jason Weston:
A Neural Attention Model for Abstractive Sentence Summarization.
Zahid Ahmed Ansari, M. F. Azeem, A. Vinaya Babu, Waseem Ahmed:
A Fuzzy Approach for Feature Evaluation and Dimensionality Reduction to Improve the Quality of Web Usage Mining Results.
Zahid Ahmed Ansari, Waseem Ahmed, M. F. Azeem, A. Vinaya Babu:
Discovery of Web Usage Profiles Using Various Clustering Techniques.
Zahid Ahmed Ansari, Mohammad Fazle Azeem, A. Vinaya Babu, Waseem Ahmed:
A Fuzzy Clustering Based Approach for Mining Usage Profiles from Web Log Data.

Marco Dalai, Andreas J. Winter:
Constant Compositions in the Sphere Packing Bound for Classical-Quantum Channels.

Joseph Anderson, Navin Goyal, Anupama Nandi, Luis Rademacher:
Heavy-tailed Independent Component Analysis.
Luca Sanguinetti, Romain Couillet, Mérouane Debbah:
Large System Analysis of Base Station Cooperation for Power Minimization.
Daniel Pickem, Magnus Egerstedt, Jeff S. Shamma:
A Game-theoretic Formulation of the Homogeneous Self-Reconfiguration Problem.
Sebastian Lamm, Peter Sanders, Christian Schulz, Darren Strash, Renato F. Werneck:
Finding Near-Optimal Independent Sets at Scale.
Alkida Balliu, Dennis Olivetti, Özalp Babaoglu, Moreno Marzolla, Alina Sîrbu:
A Big Data Analyzer for Large Trace Logs.
Kwang-Ki K. Kim:
A Note on the Convexity of $\log \det ( I + KX^{-1} )$ and its Constrained Optimization Representation.
Sanket S. Kalamkar, Adrish Banerjee:
Interference-Assisted Wireless Energy Harvesting in Cognitive Relay Network with Multiple Primary Transceivers.
Suren Jayasuriya, Adithya Pediredla, Sriram Sivaramakrishnan, Alyosha C. Molnar, Ashok Veeraraghavan:
Depth Fields: Extending Light Field Techniques to Time-of-Flight Imaging.
Michael J. Bannister, David A. Brown, David Eppstein:
Confluent Orthogonal Drawings of Syntax Diagrams.
Rafael M. O. Cruz, Robert Sabourin, George D. C. Cavalcanti:
A DEEP analysis of the META-DES framework for dynamic selection of ensemble of classifiers.
Chuang Ye, Gozde Ozcan, Mustafa Cenk Gursoy, Senem Velipasalar:
Multimedia Transmission over Cognitive Radio Channels under Sensing Uncertainty.
Jonathan Klawitter, Martin Nöllenburg, Torsten Ueckerdt:
Combinatorial Properties of Triangle-Free Rectangle Arrangements and the Squarability Problem.
Omur Ozel, Sennur Ulukus, Pulkit Grover:
Energy Harvesting Transmitters that Heat Up: Throughput Maximization under Temperature Constraints.
Hongyuan Mei, Mohit Bansal, Matthew R. Walter:
What to talk about and how? Selective Generation using LSTMs with Coarse-to-Fine Alignment.
Hamid R. Ekbia, Michael Mattioli, Inna Kouper, G. Arave, Ali Ghazinejad, Timothy D. Bowman, Venkata Ratandeep Suri, Andrew Tsou, Scott B. Weingart, Cassidy R. Sugimoto:
Big data, bigger dilemmas: A critical review.
Ablimit Aji, Hoang Vo, Fusheng Wang:
Effective Spatial Data Partitioning for Scalable Query Processing.

Osvaldo Skliar, Ricardo E. Monge, Sherry Gapper:
Using Inclusion Diagrams as an Alternative to Venn Diagrams to Determine the Validity of Categorical Syllogisms.

Meng Zhang, Yuan Liu:
Joint Secure Beamforming for Cognitive Radio Networks with Untrusted Secondary Users.
Xiao Lu, Ping Wang, Dusit Niyato, Dong In Kim, Zhu Han:
Wireless Charging Technologies: Fundamentals, Standards, and Network Applications.
(Withdrawn) Motion planning using shortest path.
Nicola Bezzo, Joshua P. Hecker, Karl Stolleis, Melanie E. Moses, Rafael Fierro:
Exploiting Heterogeneous Robotic Systems in Cooperative Missions.
Runchun Wang, Chetan Singh Thakur, Tara Julia Hamilton, Jonathan Tapson, André van Schaik:
A compact aVLSI conductance-based silicon neuron.
Ying Xu, Chetan Singh Thakur, Tara Julia Hamilton, Jonathan Tapson, Runchun Wang, André van Schaik:
A Reconfigurable Mixed-signal Implementation of a Neuromorphic ADC.
Ahmad AlAmmouri, Hesham ElSawy, Osama Amin, Mohamed-Slim Alouini:
In-Band $α$-Duplex Scheme for Cellular Networks: A Stochastic Geometry Approach.
Shujaat Khan, Muhammad Sohail Ibrahim, Kafeel Ahmed Khan, Mansoor Ebrahim:
Security Analysis of Secure Force Algorithm for Wireless Sensor Networks.
Miroslav Hekrdla, Andrea Matera, Weiyang Wang, Dong Wei, Umberto Spagnolini:
Ordered Tomlinson-Harashima Precoding in G.fast Downstream.
Zhaofei Yu, Feng Chen, Jianwu Dong, Qionghai Dai:
Sampling-based Causal Inference in Cue Combination and its Neural Implementation.
Dominique Osborne, Shashi Narayan, Shay B. Cohen:
Encoding Prior Knowledge with Eigenword Embeddings.


Antonios Argyriou:
Multi-Source Cooperative Communication with Opportunistic Interference Cancelling Relays.
Céline Aubel, David Stotz, Helmut Bölcskei:
A Theory of Super-Resolution from Short-Time Fourier Transform Measurements.
Malte Probst, Franz Rothlauf:
Training a Restricted Boltzmann Machine for Classification by Labeling Model Samples.
Felix Berkenkamp, Angela P. Schoellig, Andreas Krause:
Safe Controller Optimization for Quadrotors with Gaussian Processes.
Juan Antonio López Ramos, Joachim Rosenthal, Davide Schipani, Reto Schnyder:
Group key management based on semigroup actions.
Reto Schnyder, Juan Antonio López Ramos, Joachim Rosenthal, Davide Schipani:
An Active Attack on a Multiparty Key Exchange Protocol.
Miguel Rodríguez-Pérez, Sergio Herrería-Alonso, Manuel Fernández-Veiga, Cándido López-García:
An Ant Colonization Routing Algorithm to Minimize Network Power Consumption.
Saiph Savage, Andrés Monroy-Hernández, Kasturi Bhattacharjee, Tobias Höllerer:
Tag Me Maybe: Perceptions of Public Targeted Sharing on Facebook.
(Withdrawn) Differential Spatial Modulation with Gray Coded Antenna Activation Order.
Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
A tree-based kernel for graphs with continuous attributes.
Caio César Teodoro Mendes, Vincent Frémont, Denis Fernando Wolf:
Vision-Based Road Detection using Contextual Blocks.

Grady Williams, Andrew Aldrich, Evangelos Theodorou:
Model Predictive Path Integral Control using Covariance Variable Importance Sampling.
Miao Fan, Qiang Zhou, Thomas Fang Zheng, Ralph Grishman:
Parallel Knowledge Embedding with MapReduce on a Multi-core Processor.
Wei Sun, Evangelos Theodorou, Panagiotis Tsiotras:
Model Based Reinforcement Learning with Final Time Horizon Optimization.
Mohammad Mozaffari, Walid Saad, Mehdi Bennis, Mérouane Debbah:
Unmanned Aerial Vehicle with Underlaid Device-to-Device Communications: Performance and Tradeoffs.
Don J. Torrieri, Salvatore Talarico, Matthew C. Valenti:
Performance Comparisons of Geographic Routing Protocols in Mobile Ad Hoc Networks.
(Withdrawn) Fast Clustering and Topic Modeling Based on Rank-2 Nonnegative Matrix Factorization.

Sajjad AbdollahRamezani, Kamalodin Arik, Amin Khavasi, Zahra Kavehvash:
Analog Computing Using Graphene-based Metalines.
Moritz Hardt, Benjamin Recht, Yoram Singer:
Train faster, generalize better: Stability of stochastic gradient descent.

Colin Rennie, Rahul Shome, Kostas E. Bekris, Alberto F. De Souza:
A Dataset for Improved RGBD-based Object Detection and Pose Estimation for Warehouse Pick-and-Place.
Filipe Condessa, José M. Bioucas-Dias, Carlos A. Castro, John A. Ozolek, Jelena Kovacevic:
Image Classification with Rejection using Contextual Information.
Max Zimmermann, Eirini Ntoutsi, Myra Spiliopoulou:
Incremental Active Opinion Learning Over a Stream of Opinionated Documents.
Kwang Ki Kevin Kim, Richard D. Braatz:
Stability Analysis of Discrete-time Lure Systems with Slope-restricted Odd Monotonic Nonlinearities.

Santiago Zazo, Matilde Sánchez Fernández, Sergio Valcarcel Macua, Javier Zazo:
Dynamic Potential Games in Communications: Fundamentals and Applications.

Kun Huang, Udaya Parampalli, Ming Xian:
Security Concerns in Minimum Storage Cooperative Regenerating Codes.
Amina Mseddi, Mohammad Ali Salahuddin, Mohamed Faten Zhani, Halima Elbiaze, Roch H. Glitho:
On Optimizing Replica Migration in Distributed Cloud Storage Systems.
Raghavendra Kune, Pramodkumar Konugurthi, Arun Agarwal, Chillarige Raghavendra Rao, Rajkumar Buyya:
The Anatomy of Big Data Computing.
Natarajan Lakshmi Prasad, Yi Hong, Emanuele Viterbo:
Lattice Codes achieve the Capacity of Gaussian Broadcast Channels with Coded Side Information.
Mingzhe Hou, Zongquan Deng, Guang-Ren Duan:
Adaptive Control of Uncertain Pure-feedback Nonlinear Systems.
Sumit Soman, Siddharth Srivastava, Saurabh Srivastava, Nitendra Rajput:
Brain Computer Interfaces for Mobile Apps: State-of-the-art and Future Directions.
Iman Abbasnejad, Sridha Sridharan, Simon Denman, Clinton Fookes, Simon Lucey:
Learning Temporal Alignment Uncertainty for Efficient Event Detection.
Nayyar A. Zaidi, Geoffrey I. Webb, Mark James Carman, François Petitjean:
Deep Broad Learning - Big Models for Big Data.
Christophe Denis, Pablo de Oliveira Castro, Eric Petit:
Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic.
Konstantin Avrachenkov, Vivek S. Borkar, Krishnakant Saboo:
Parallel and Distributed Approaches for Graph Based Semi-supervised Learning.
Rangeet Mitra, Vimal Bhatia:
Diffusion-KLMS Algorithm and its Performance Analysis for Non-Linear Distributed Networks.
Zhe Wang, Lingjie Duan, Rui Zhang:
Adaptively Directional Wireless Power Transfer for Large-scale Sensor Networks.
Roula Nassif, Cédric Richard, André Ferrari, Ali H. Sayed:
Proximal Multitask Learning over Networks with Sparsity-inducing Coregularization.
Vahid Joroughi, Miguel Ángel Vázquez, Ana I. Pérez-Neira:
Generalized Multicast Multibeam Precoding for Satellite Communications.
Silas L. Fong, Vincent Y. F. Tan:
A Proof of the Strong Converse Theorem for Gaussian Broadcast Channels via the Gaussian Poincaré Inequality.
Jawwad Ahmed, Andreas Johnsson, Rerngvit Yanggratoke, John Ardelius, Christofer Flinta, Rolf Stadler:
Predicting SLA Violations in Real Time using Online Machine Learning.
Stefano Ferretti, Vittorio Ghini, Fabio Panzieri:
A Survey on Handover Management in Mobility Architectures.
Arnaud Vandaele, Nicolas Gillis, Qi Lei, Kai Zhong, Inderjit S. Dhillon:
Coordinate Descent Methods for Symmetric Nonnegative Matrix Factorization.
H. W. Ho, C. De Wagter, B. D. W. Remes, G. C. H. E. de Croon:
Optical-Flow based Self-Supervised Learning of Obstacle Appearance applied to MAV Landing.
Yan Sun, Derrick Wing Kwan Ng, Jun Zhu, Robert Schober:
Multi-Objective Optimization for Robust Power Efficient and Secure Full-Duplex Wireless Communication Systems.
Ruiqi Guo, Sanjiv Kumar, Krzysztof Choromanski, David Simcha:
Quantization based Fast Inner Product Search.

Israel D. Gebru, Xavier Alameda-Pineda, Florence Forbes, Radu Horaud:
EM Algorithms for Weighted-Data Clustering with Application to Audio-Visual Scene Analysis.
Andrew Knyazev, Alexander Malyshev:
Conjugate Gradient Acceleration of Non-Linear Smoothing Filters.
Sileye O. Ba, Xavier Alameda-Pineda, Alessio Xompero, Radu Horaud:
An On-line Variational Bayesian Model for Multi-Person Tracking from Cluttered Scenes.
Joel Mathias, Rim Kaddah, Ana Busic, Sean P. Meyn:
Smart Fridge / Dumb Grid? Demand Dispatch for the Power Grid of 2020.
Christoph Ponikwar, Hans-Joachim Hof:
Overview on Security Approaches in Intelligent Transportation Systems.


Shahrouz Khalili, Osvaldo Simeone:
Inter-Layer Per-Mobile Optimization of Cloud Mobile Computing: A Message-Passing Approach.
Parminder Bhatia, Yangfeng Ji, Jacob Eisenstein:
Better Document-level Sentiment Analysis from RST Discourse Parsing.
Seyed Alireza Razavi, Mikko Valkama, Elena Simona Lohan:
K-Means Fingerprint Clustering for Low-Complexity Floor Estimation in Indoor Mobile Localization.
Ivan Bogun, Anelia Angelova, Navdeep Jaitly:
Object Recognition from Short Videos for Robotic Perception.
Santa Agreste, Salvatore Catanese, Pasquale De Meo, Emilio Ferrara, Giacomo Fiumara:
Network Structure and Resilience of Mafia Syndicates.
Dong Tian, Hassan Mansour, Andrew Knyazev, Anthony Vetro:
Chebyshev and Conjugate Gradient Filters for Graph Image Denoising.
Xiang Zhang, Junbo Jake Zhao, Yann LeCun:
Character-level Convolutional Networks for Text Classification.



Yuewei Lin, Kareem Ezzeldeen, Youjie Zhou, Xiaochuan Fan, Hongkai Yu, Hui Qian, Song Wang:
Co-interest Person Detection from Multiple Wearable Camera Videos.
Mohammad Mozaffari, Walid Saad, Mehdi Bennis, Mérouane Debbah:
Drone Small Cells in the Clouds: Design, Deployment and Performance Analysis.
Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang:
Extending Hybrid CSP with Probability and Stochasticity.
Christopher S. Pilson:
Tightly-Held and Ephemeral Psychometrics: Password and Passphrase Authentication Utilizing User-Supplied Constructs of Self.
Marthe Bonamy, Lukasz Kowalik, Michal Pilipczuk, Arkadiusz Socala:
Linear kernels for outbranching problems in sparse digraphs.
Miguel Rodríguez-Pérez, Manuel Fernández-Veiga, Sergio Herrería-Alonso, Mariem Hmila, Cándido López-García:
Optimum Traffic Allocation in Bundled Energy Efficient Ethernet Links.
Felipe Rodrigues Monteiro Sousa, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version).
Michael Benedikt, Pierre Bourhis, Balder ten Cate, Gabriele Puppis:
Querying Visible and Invisible Tables in the Presence of Integrity Constraints.
Ekaterina Vylomova, Laura Rimell, Trevor Cohn, Timothy Baldwin:
Take and Took, Gaggle and Goose, Book and Read: Evaluating the Utility of Vector Differences for Lexical Relation Learning.
Mohamed Abuella, Constantine J. Hatziadoniu:
The Economic Dispatch for Integrated Wind Power Systems Using Particle Swarm Optimization.
Dragana Bajovic, Dusan Jakovetic, Natasa Krejic, Natasa Krklec Jerinkic:
Newton-like method with diagonal correction for distributed optimization.
Jing Zhang, Ioannis Ch. Paschalidis:
An Improved Composite Hypothesis Test for Markov Models with Applications in Network Anomaly Detection.
(Withdrawn) Algorithm for estimating swirl angles in multi-intake hydraulic sumps.
Wenhao Jiang, Feiping Nie, Korris Fu-Lai Chung, Heng Huang:
Algorithm and Theoretical Analysis for Domain Adaptation Feature Learning with Linear Classifiers.
Yuewei Lin, Jing Chen, Yu Cao, Youjie Zhou, Lingfeng Zhang, Yuan Yan Tang, Song Wang:
Unsupervised Cross-Domain Recognition by Identifying Compact Joint Subspaces.
Ramon Ferrer-i-Cancho:
A commentary on "The now-or-never bottleneck: a fundamental constraint on language", by Christiansen and Chater (2015).
Fedor Sandomirskiy:
On repeated zero-sum games with incomplete information and asymptotically bounded values.
Joshua Garland, Ryan G. James, Elizabeth Bradley:
A new method for choosing parameters in delay reconstruction-based forecast strategies.
Alejandro Erickson, Abbas Eslami Kiasari, Javier Navaridas, Iain A. Stewart:
An efficient shortest-path routing algorithm in the data centre network {DP}illar.
Alejandro Erickson, Abbas Eslami Kiasari, Javier Navaridas, Iain A. Stewart:
Routing Algorithms for Recursively-Defined Data Centre Networks.
Xueru Li, Emil Björnson, Erik G. Larsson, Shidong Zhou, Jing Wang:
A Multi-cell MMSE Detector for Massive MIMO Systems and New Large System Analysis.
Xueru Li, Emil Björnson, Erik G. Larsson, Shidong Zhou, Jing Wang:
A Multi-cell MMSE Precoder for Massive MIMO Systems and New Large System Analysis.
Yihua Zhang, Marina Blanton, Ghada Almashaqbeh:
Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler.
Kishan Wimalawarne, Ryota Tomioka, Masashi Sugiyama:
Theoretical and Experimental Analyses of Tensor-Based Regression and Classification.
Gibran Fuentes Pineda, Iván Vladimir Meza Ruíz:
Sampled Weighted Min-Hashing for Large-Scale Topic Mining.
Ankit Kaushik, Shree Krishna Sharma, Symeon Chatzinotas, Björn E. Ottersten, Friedrich K. Jondral:
Sensing-Throughput Tradeoff for Interweave Cognitive Radio System: A Deployment-Centric Viewpoint.
Md. Abul Hasnat, Olivier Alata, Alain Trémeau:
Joint Color-Spatial-Directional clustering and Region Merging (JCSD-RM) for unsupervised RGB-D image segmentation.
Valery Vilisov:
Research: Analysis of Transport Model that Approximates Decision Taker's Preferences.


(Withdrawn) Deep Online Convex Optimization by Putting Forecaster to Sleep.
Rastuti, Leon Andretti Abdillah, Eka Puji Agustini:
Sistem Informasi Geografis Potensi Wilayah Kabupaten Banyuasin Berbasis Web.
Preetum Nakkiran, K. V. Rashmi, Kannan Ramchandran:
Optimal Systematic Distributed Storage Codes with Fast Encoding.
Alex Olieman, Jaap Kamps, Maarten Marx, Arjan Nusselder:
A Hybrid Approach to Domain-Specific Entity Linking.


Burak Pak, Johan Verbeke:
Geoweb 2.0 for Participatory Urban Design: Affordances and Critical Success Factors.

Camila F. Costa, Mario A. Nascimento, José Antônio Fernandes de Macêdo, Yannis Theodoridis, Nikos Pelekis, Javam C. Machado:
Optimal Time-dependent Sequenced Route Queries in Road Networks.
Yuyi Mao, Jun Zhang, Khaled Ben Letaief:
A Lyapunov Optimization Approach for Green Cellular Networks with Hybrid Energy Supplies.
Quan Liu, Wu Guo, Zhen-Hua Ling:
Integrate Document Ranking Information into Confidence Measure Calculation for Spoken Term Detection.
Katrin Kirchhoff, Bing Zhao, Wen Wang:
Exploiting Out-of-Domain Data Sources for Dialectal Arabic Statistical Machine Translation.
Babak Mamandipoor, Dinesh Ramasamy, Upamanyu Madhow:
Newtonized Orthogonal Matching Pursuit: Frequency Estimation over the Continuum.
Atul Laxman Katole, Krishna Prasad Yellapragada, Amish Kumar Bedi, Sehaj Singh Kalra, Mynepalli Siva Chaitanya:
Hierarchical Deep Learning Architecture For 10K Objects Classification.
Darko Brodic, Alessia Amelio, Zoran N. Milivojevic:
An Approach to the Analysis of the South Slavic Medieval Labels Using Image Texture.

Moritz von Looz, Henning Meyerhenke:
Querying Probabilistic Neighborhoods in Spatial Data Sets Efficiently.
Shari Lim Wei, Eleni Vasilaki, Ali Khiat, Iulia Salaoru, Radu Berdan, Themistoklis Prodromakis:
Emulating long-term synaptic dynamics with memristive devices.
Alex Olieman, Jaap Kamps, Rosa Merino Claros:
LocLinkVis: A Geographic Information Retrieval-Based System for Large-Scale Exploratory Search.
Argyrios Deligkas, Paul G. Spirakis:
On Equilibrium Computation in Biased Games with Quadratic Penalties.
Wenrui Hu, Dacheng Tao, Wensheng Zhang, Yuan Xie, Yehui Yang:
A New Low-Rank Tensor Model for Video Completion.
Andrea Tagarelli, Roberto Interdonato:
Time-aware Analysis and Ranking of Lurkers in Social Networks.
Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz:
Formalization of simplification for context-free grammars.

Luis Costero, Francisco D. Igual, Katzalin Olcoz, Enrique S. Quintana-Ortí:
Revisiting Conventional Task Schedulers to Exploit Asymmetry in ARM big.LITTLE Architectures for Dense Linear Algebra.
Christopher Hampson, Stanislav Kikot, Agi Kurucz:
The decision problem of modal product logics with a diagonal, and faulty counter machines.
Asma Ghorbel, Mari Kobayashi, Sheng Yang:
Cache-Enabled Broadcast Packet Erasure Channels with State Feedback.
Jacques Lamothe, François Marmier, Matthieu Dupuy, Paul Gaborit, Lionel Dupont:
Scheduling rules to minimize total tardiness in a parallel machine problem with setup and calendar constraints.
Loïc Alain Royer, David L. Richmond, Carsten Rother, Björn Andres, Dagmar Kainmüller:
Convexity Shape Constraints for Image Segmentation.
Ariadna Quattoni, Arnau Ramisa, Pranava Swaroop Madhyastha, Edgar Simo-Serra, Francesc Moreno-Noguer:
Structured Prediction with Output Embeddings for Semantic Image Annotation.
Gary Lawson, Vaibhav Sundriyal, Masha Sosonkina, Yuzhong Shen:
Experimentation Procedure for Offloaded Mini-Apps Executed on Cluster Architectures with Xeon Phi Accelerators.
Daniel Ritchie, Andreas Stuhlmüller, Noah D. Goodman:
C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching.
Wei Si, David Starobinski, Moshe Laifenfeld:
Hybrid-BCP: A Robust Load Balancing and Routing Protocol for Intra-Car Wired/Wireless Networks.
Carlos García-Saura:
Self-calibration of a differential wheeled robot using only a gyroscope and a distance sensor.

Salimeh Yasaei Sekeh:
Extended inequalities for weighted Renyi entropy involving generalized Gaussian densities.
Ioannis Exarchos, Evangelos A. Theodorou:
Learning Optimal Control via Forward and Backward Stochastic Differential Equations.
(Withdrawn) The Capacity Region of the One-Sided Gaussian Interference Channel.
Cheng-Tao Chung, Chun-an Chan, Lin-Shan Lee:
Unsupervised Discovery of Linguistic Structure Including Two-level Acoustic Patterns Using Three Cascaded Stages of Iterative Optimization.
Cheng-Tao Chung, Chun-an Chan, Lin-Shan Lee:
Unsupervised Spoken Term Detection with Spoken Queries by Multi-level Acoustic Patterns with Varying Model Granularity.
Cheng-Tao Chung, Wei-Ning Hsu, Cheng-Yi Lee, Lin-Shan Lee:
Enhancing Automatically Discovered Multi-level Acoustic Patterns Considering Context Consistency With Applications in Spoken Term Detection.
Mitsuo Yoshida, Yuki Arase, Takaaki Tsunoda, Mikio Yamamoto:
Wikipedia Page View Reflects Web Search Trend.
Artur Gorokh, Yury Korolev, Tuomo Valkonen:
Diffusion tensor imaging with deterministic error bounds.
Fangfang Li, Yanchang Zhao, Klaus Felsche, Guandong Xu, Longbing Cao:
Coupling Analysis Between Twitter and Call Centre.
Reza Bosagh Zadeh, Xiangrui Meng, Burak Yavuz, Aaron Staple, Li Pu, Shivaram Venkataraman, Evan R. Sparks, Alexander Ulanov, Matei Zaharia:
linalg: Matrix Computations in Apache Spark.
Yi-Hsuan Kung, Taeho Lee, Po-Ning Tseng, Hsu-Chun Hsiao, Tiffany Hyun-Jin Kim, Soo Bum Lee, Yue-Hsun Lin, Adrian Perrig:
A Practical System for Guaranteed Access in the Presence of DDoS Attacks and Flash Crowds.
Carsten Kolassa, Holger Rendel, Bernhard Rumpe:
Evaluation of Variability Concepts for Simulink in the Automotive Domain.
Pedram Mir Seyed Nazari, Bernhard Rumpe:
Using Software Categories for the Development of Generative Software.
Phan-Minh Nguyen, Marc Andre Armand:
On Capacity Formulation with Stationary Inputs and Application to a Bit-Patterned Media Recording Channel Model.
Octavian-Eugen Ganea, Marina Horlescu, Aurélien Lucchi, Carsten Eickhoff, Thomas Hofmann:
Probabilistic Bag-Of-Hyperlinks Model for Entity Linking.

Shenjian Zhao, Zhihua Zhang:
SEP-QN: Scalable and Extensible Proximal Quasi-Newton Method for Dirty Statistical Models.
Xianbiao Qi, Guoying Zhao, Jie Chen, Matti Pietikäinen:
HEp-2 Cell Classification: The Role of Gaussian Scale Space Theory as A Pre-processing Approach.
Orestis Georgiou, Shanshan Wang, Mohammud Z. Bocus, Carl P. Dettmann, Justin P. Coon:
Directional antennas improve the link-connectivity of interference limited ad hoc networks.
Yongpeng Wu, Chao-Kai Wen, Derrick Wing Kwan Ng, Robert Schober, Angel Lozano:
Low-Complexity MIMO Precoding with Discrete Signals and Statistical CSI.
Erich Zöchmann, Stefan Schwarz, Stefan Pratschner, Lukas Nagel, Martin Lerch, Markus Rupp:
Exploring the Physical Layer Frontiers of Cellular Uplink - The Vienna LTE-A Simulator.
Marco Compagnoni, Antonio Canclini, Paolo Bestagini, Fabio Antonacci, Augusto Sarti, Stefano Tubaro:
TDOA denoising for acoustic source localization.
Arthur Kramer, Anand Subramanian:
A unified heuristic and an annotated bibliography for a large class of earliness-tardiness scheduling problems.
Pooyan Abouzar, David G. Michelson, Maziyar Hamdi:
RSSI-Based Distributed Self-Localization for Wireless Sensor Networks used in Precision Agriculture.
Vipul Gupta, Abhay Kumar Sah, Ajit K. Chaturvedi:
Approximate Matrix Inversion Based Low Complexity Sphere Decoding in MIMO Systems.
Mortaza Doulaty, Oscar Saz, Thomas Hain:
Data-selective Transfer Learning for Multi-Domain Speech Recognition.
Mortaza Doulaty, Oscar Saz, Thomas Hain:
Unsupervised Domain Discovery using Latent Dirichlet Allocation for Acoustic Modelling in Speech Recognition.


Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh:
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty.
Jin Tan, Yanting Ma, Hoover F. Rueda, Dror Baron, Gonzalo R. Arce:
Approximate Message Passing in Coded Aperture Snapshot Spectral Imaging.
Rishabh Soni, K. James Mathai:
Improved Twitter Sentiment Prediction through Cluster-then-Predict Model.
Subarna Tripathi, Serge J. Belongie, Youngbae Hwang, Truong Q. Nguyen:
Semantic Video Segmentation : Exploring Inference Efficiency.
Adams Wei Yu, Wanli Ma, Yaoliang Yu, Jaime G. Carbonell, Suvrit Sra:
Efficient Structured Matrix Rank Minimization.
Yeounoh Chung, Chang Yong Park, Noo-Ri Kim, Hana Cho, Tae Bok Yoon, Hunjoo Lee, Jee-Hyong Lee:
A Behavior Analysis-Based Game Bot Detection Approach Considering Various Play Styles.
Muntasir Raihan Rahman, Lewis Tseng, Son Nguyen, Indranil Gupta, Nitin H. Vaidya:
Characterizing and Adapting the Consistency-Latency Tradeoff in Distributed Key-value Stores.
Akshay Gadde, Andrew Knyazev, Dong Tian, Hassan Mansour:
Guided Signal Reconstruction with Application to Image Magnification.
Jianwei Luo, Jianguo Li, Jun Wang, Zhiguo Jiang, Yurong Chen:
Deep Attributes from Context-Aware Regional Neural Codes.
Herbert Rocha, Hussama Ismail, Lucas C. Cordeiro, Raimundo S. Barreto:
Model Checking Embedded C Software using k-Induction and Invariants (extended version).
Ahmad Mahmoody, Evgenios M. Kornaropoulos, Eli Upfal:
Optimizing Static and Adaptive Probing Schedules for Rapid Event Detection.
Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie Batista de Lima Filho:
Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version).
Alessandro Trindade, Hussama Ismail, Lucas C. Cordeiro:
Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version).
Justice Amoh, Kofi Odame:
DeepCough: A Deep Convolutional Neural Network in A Wearable Cough Detection System.
Charalampos Mavroforakis, Michael Mathioudakis, Aristides Gionis:
Absorbing random-walk centrality: Theory and algorithms.
Tiejun Lv, Hui Gao, Xiaopeng Li, Shaoshi Yang, Lajos Hanzo:
Space-Time Hierarchical-Graph Based Cooperative Localization in Wireless Sensor Networks.
Chenglin Fan, Binhai Zhu:
Complexity and Algorithms for the Discrete Fréchet Distance Upper Bound with Imprecise Input.
(Withdrawn) A Dual Fast and Slow Feature Interaction in Biologically Inspired Visual Recognition of Human Action.
Tsung-Hui Chang, Mingyi Hong, Wei-Cheng Liao, Xiangfeng Wang:
Asynchronous Distributed ADMM for Large-Scale Optimization- Part I: Algorithm and Convergence Analysis.
Carlos Alegría-Galicia, David Orden, Carlos Seara, Jorge Urrutia:
On the $O_β$-hull of a planar point set.
Tsung-Hui Chang, Wei-Cheng Liao, Mingyi Hong, Xiangfeng Wang:
Asynchronous Distributed ADMM for Large-Scale Optimization- Part II: Linear Convergence Analysis and Numerical Performance.
Shan Huang, Hong Sun, Haijian Zhang, Lei Yu:
ESPRIT-based frequency estimation of multiple sinusoids with double-channel sub-Nyquist sampling.
Dharmendra Dixit, P. R. Sahu:
Performance of QAM Schemes with Dual-Hop DF Relaying Systems over Mixed $η$-$μ$ and $κ$-$μ$ Fading Channels.
Carlos Alegría-Galicia, Tzolkin Garduño, Carlos Seara, Areli Rosas-Navarrete, Jorge Urrutia:
Rectilinear convex hull with minimum area.
Shan Huang, Hong Sun, Lei Yu, Haijian Zhang:
A Class of Deterministic Sensing Matrices and Their Application in Harmonic Detection.
Satish Bhalshankar, Avinash K. Gulve:
Audio Steganography: LSB Technique Using a Pyramid Structure and Range of Bytes.
Hei Victor Cheng, Emil Björnson, Erik G. Larsson:
Uplink Pilot and Data Power Control for Single Cell Massive MIMO Systems with MRC.
Ziwei Liu, Xiaoxiao Li, Ping Luo, Chen Change Loy, Xiaoou Tang:
Semantic Image Segmentation via Deep Parsing Network.
Xiaodan Liang, Yunchao Wei, Xiaohui Shen, Jianchao Yang, Liang Lin, Shuicheng Yan:
Proposal-free Network for Instance-level Object Segmentation.
Álvaro García-Recuero:
On the energy efficiency of client-centric data consistency management under random read/write access to Big Data with Apache HBase.
Chengdi Xiang, Ian R. Petersen, Daoyi Dong:
Coherent Robust H-Infinity Control of Uncertain Linear Quantum Stochastic Systems.
Pan Ji, Mathieu Salzmann, Hongdong Li:
Shape Interaction Matrix Revisited and Robustified: Efficient Subspace Clustering with Corrupted and Incomplete Data.
Christian Berger, Delf Block, Sönke Heeren, Christian Hons, Stefan Kühnel, André Leschke, Dimitri Plotnikov, Bernhard Rumpe:
Simulations on Consumer Tests: Systematic Evaluation of Tolerance Ranges by Model-Based Generation of Simulation Scenarios.
Xiang Chen, Wei Chen:
Delay-Optimal Buffer-Aware Probabilistic Scheduling with Adaptive Transmission.
Chun-Wei Li, Kuo-Ming Chen, Po-Chun Fu, Wei-Ning Chen, Che Lin:
Energy-Efficient Deterministic Adaptive Beamforming Algorithms for Distributed Sensor/Relay Networks.
Atreyee Kundu, Debasish Chatterjee:
A graph theoretic approach to input-to-state stability of switched systems.
Mihai Oltean, Oana Muntean:
Solving NP-complete problems with delayed signals: an overview of current research directions.
Tom Everitt, Marcus Hutter:
A Topological Approach to Meta-heuristics: Analytical Results on the BFS vs. DFS Algorithm Selection Problem.
Yansha Deng, Lifeng Wang, Kai-Kit Wong, Arumugam Nallanathan, Maged Elkashlan:
Safeguarding Massive MIMO Aided HetNets Using Physical Layer Security.
Jaspreet Singh, Zeon Trevor Fernando, Saniya Chawla:
LearnWeb-OER: Improving Accessibility of Open Educational Resources.
Simon R. Blackburn:
Maximum likelihood decoding for multilevel channels with gain and offset mismatch.
Stanislav Aranovskiy, Alexey A. Bobtsov, Romeo Ortega, Anton A. Pyrkin:
Performance Enhancement of Parameter Estimators via Dynamic Regressor Extension and Mixing.
Lei Wang, Yueming Cai, Yulong Zou, Weiwei Yang, Lajos Hanzo:
Joint Relay and Jammer Selection Improves the Physical Layer Security in the Face of CSI Feedback Delays.
Juan M. Huerta, Clancy Childs:
Accelerating News Integration in Automatic Knowledge Extraction Ecosystems: an API-first Outlook.
Cosmin Stamate, George D. Magoulas, Michael S. C. Thomas:
Transfer learning approach for financial applications.
Gang Fu, Evan Bolton, Núria Queralt-Rosinach, Laura Inés Furlong, Vinh Nguyen, Amit P. Sheth, Olivier Bodenreider, Michel Dumontier:
Exposing Provenance Metadata Using Different RDF Models.
Ralph Matthes, Matteo Mio:
Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015. EPTCS 191, 2015 [contents]
Steve Kerrison, Kerstin Eder:
Modeling and visualizing networked multi-core embedded software energy consumption.
Andrew V. Knyazev, Peizhen Zhu, Stefano Di Cairano:
Explicit model predictive control accuracy analysis.
Loukas Georgiadis, Giuseppe F. Italiano, Charis Papadopoulos, Nikos Parotsidis:
Approximating the Smallest Spanning Subgraph for 2-Edge-Connectivity in Directed Graphs.
Giulia C. Fanti, Peter Kairouz, Sewoong Oh, Kannan Ramchandran, Pramod Viswanath:
Hiding the Rumor Source.
Harish K., Varadhan R., Anurag R. M., Harmanpreet S.:
Low Cost Swarm Based Diligent Cargo Transit System.
Alexandr Andoni, Piotr Indyk, Thijs Laarhoven, Ilya P. Razenshteyn, Ludwig Schmidt:
Practical and Optimal LSH for Angular Distance.
Ammar Gharaibeh, Abdallah Khreishah, Bo Ji, Moussa Ayyash:
A provably efficient online collaborative caching algorithm for multicell-coordinated systems.
(Withdrawn) The Capacity of Mixed and One-Sided Gaussian Interference Channels.
Aaron D. Jaggard, Neil Lutz, Michael Schapira, Rebecca N. Wright:
Dynamics at the Boundary of Game Theory and Distributed Computing.
Elena Boshkovska, Derrick Wing Kwan Ng, Nikola Zlatanov, Robert Schober:
Practical Non-linear Energy Harvesting Model and Resource Allocation for SWIPT Systems.
Andreas Stuhlmüller, Robert X. D. Hawkins, N. Siddharth, Noah D. Goodman:
Coarse-to-Fine Sequential Monte Carlo for Probabilistic Programs.
Piotr Koniusz, Anoop Cherian:
Dictionary Learning and Sparse Coding for Third-order Super-symmetric Tensors.
Timothy P. Lillicrap, Jonathan J. Hunt, Alexander Pritzel, Nicolas Heess, Tom Erez, Yuval Tassa, David Silver, Daan Wierstra:
Continuous control with deep reinforcement learning.


Andika, Leon Andretti Abdillah, Muhammad Ariandi:
Sistem Informasi Geografis Ruang Terbuka Hijau Kawasan Perkotaan (RTHKP) Palembang.
Gina C. Adam, Brian D. Hoskins, Mirko Prezioso, Dmitri B. Strukov:
Three-Dimensional Stateful Material Implication Logic.
Wei Dai, Gene Cheung, Ngai-Man Cheung, Antonio Ortega, Oscar C. Au:
Merge Frame Design for Video Stream Switching using Piecewise Constant Functions.
Chandan Pradhan, Garimella Rama Murthy:
Full-Duplex Transceiver for Future Cellular Network: A Smart Antenna Approach.
Byeongkeun Kang, Subarna Tripathi, Truong Q. Nguyen:
Real-time Sign Language Fingerspelling Recognition using Convolutional Neural Networks from Depth map.
Dawei Zhao, Lianhai Wang, Zhen Wang:
The robustness of multiplex networks under layer node-based attack.
David Balduzzi, Muhammad Ghifary:
Compatible Value Gradients for Reinforcement Learning of Continuous Deep Policies.
Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou:
Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs. 18-32







Joy Kim, Andrés Monroy-Hernández:
Storia: Summarizing Social Media Content based on Narrative Theory using Crowdsourcing.
Xiujun Li, Lihong Li, Jianfeng Gao, Xiaodong He, Jianshu Chen, Li Deng, Ji He:
Recurrent Reinforcement Learning: A Hybrid Approach.
Leendert W. M. Wienhofen, Bjørn Magnus Mathisen, Dumitru Roman:
Empirical Big Data Research: A Systematic Literature Mapping.
Marek Karpinski, Roland Markó:
Explicit Bounds for Nondeterministically Testable Hypergraph Parameters.
Tomoyuki Yamakami:
The World of Combinatorial Fuzzy Problems and the Efficiency of Fuzzy Approximation Algorithms.
Jens Dede, Koojana Kuladinithi, Anna Förster, Okko Nannen, Sebastian Lehnhoff:
OMNeT++ and mosaik: Enabling Simulation of Smart Grid Communications.
Asanga Udugama, Koojana Kuladinithi, Anna Förster, Carmelita Görg:
Federating OMNeT++ Simulations with Testbed Environments.

Ryan D. L. Engle, Douglas D. Hodson, Michael R. Grimaila, Logan O. Mailloux, Colin V. McLaughlin, Gerald Baumgartner:
Modeling Quantum Optical Components, Pulses and Fiber Channels Using OMNeT++.

Artur Austregesilo Scussel, Georg Panholzer, Christof Brandauer, Ferdinand von Tüllenburg:
Improvements in OMNeT++/INET Real-Time Scheduler for Emulation Mode.
Eric Umuhoza:
Domain-Specific Modeling and Code Generation for Cross-Platform Multi-Device Mobile Apps.
Felix Weinrank, Michael Tüxen, Erwin P. Rathgeb:
Integration of RTMFP in the OMNeT++ Simulation Environment.
Johannes Hofmann, Jan Eitzinger, Dietmar Fey:
Execution-Cache-Memory Performance Model: Introduction and Validation.
Andreas Rain, Daniel Kaiser, Marcel Waldvogel:
Realistic, Extensible DNS and mDNS Models for INET/OMNeT++.
Ilkka Kivimäki, Bertrand Lebichot, Jari Saramäki, Marco Saerens:
Two betweenness centrality measures based on Randomized Shortest Paths.
Yunchao Wei, Xiaodan Liang, Yunpeng Chen, Xiaohui Shen, Ming-Ming Cheng, Yao Zhao, Shuicheng Yan:
STC: A Simple to Complex Framework for Weakly-supervised Semantic Segmentation.
Jirí Dokulil, Siegfried Benkner:
OCR extensions - local identifiers, labeled GUIDs, file IO, and data block partitioning.
Julian Dibbelt, Ben Strasser, Dorothea Wagner:
Fast Exact Shortest Path and Distance Queries on Road Networks with Parametrized Costs.
Martin Lévesque, David Tipper:
ptp++: A Precision Time Protocol Simulation Model for OMNeT++ / INET.
Andrew J. R. Simpson:
Use it or Lose it: Selective Memory and Forgetting in a Perpetual Learning Machine.
Yu-Zhong Chen, Lezhi Wang, Wen-Xu Wang, Ying-Cheng Lai:
The paradox of controlling complex networks: control inputs versus energy requirement.
Gurpreet Singh Bhamra, Anil K. Verma, R. B. Patel:
Agent enabled Mining of Distributed Protein Data Banks.
Abhishek Kumar, Suresh Chandra Gupta:
A new Initial Centroid finding Method based on Dissimilarity Tree for K-means Algorithm.
Vinay Chakravarthi Gogineni:
Adaptive Convex Combination of APA and ZA-APA algorithms for Sparse System Identification.
Xiaofei Li, Laurent Girin, Radu Horaud, Sharon Gannot:
Binaural Sound Source Localization based on Direct-Path Relative Transfer Function.
AbdelRahim A. Elmadany, Sherif M. Abdou, Mervat Gheith:
Towards Understanding Egyptian Arabic Dialogues.
Deeparnab Chakrabarty, Alina Ene, Ravishankar Krishnaswamy, Debmalya Panigrahi:
Online Buy-at-Bulk Network Design.
Hosny A. Abbas, Samir I. Shaheen, Mohammed H. Amin:
Simple, Flexible, and Interoperable SCADA System Based on Agent Technology.
Sudip Mandal, Goutam Saha, Rajat Kumar Pal:
Recurrent Neural Network Based Modeling of Gene Regulatory Network Using Bat Algorithm.
Yogesh A. Girdhar, Gregory Dudek:
Gibbs Sampling Strategies for Semantic Perception of Streaming Video Data.
Mohamed Askali, Saïd Nouh, Ahmed Azouaoui, Mostafa Belkasmi:
Discovery of good double and triple circulant codes using multiple impulse method.
George Trigeorgis, Konstantinos Bousmalis, Stefanos Zafeiriou, Björn W. Schuller:
A deep matrix factorization method for learning attribute representations.
Arash Saboori, S. Abolfazl Hosseini:
A New Method For Digital Watermarking Based on Combination of DCT and PCA.
Anna Förster, Cyriel Minkenberg, Germán Rodríguez Herrera, Michael Kirsche:
Proceedings of the 2nd OMNeT++ Community Summit, IBM Research - Zurich, Switzerland, September 3-4, 2015.
Panagiotis-Agis Oikonomou-Filandras, Kai-Kit Wong, Yangyang Zhang:
Grid-Based Belief Propagation for Cooperative Localization.
Ramon Ferrer-i-Cancho, Carlos Gómez-Rodríguez:
Liberating language research from dogmas of the 20th century.
Jianchao Tan, Jyh-Ming Lien, Yotam I. Gingold:
Decomposing Digital Paintings into Layers via RGB-space Geometry.
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Data-driven and Model-based Verification: a Bayesian Identification Approach.
Xiwei Liu, Tianping Chen:
Fixed-time cluster synchronization for complex networks via pinning control.
Antonio Cicone, Alessandro D'Innocenzo, Nicola Guglielmi, Linda Laglia:
A sub-optimal solution for optimal control of linear systems with unmeasurable switching delays.
Yu Liu, Osvaldo Simeone, Alexander M. Haimovich, Wei Su:
Modulation Classification for MIMO-OFDM Signals via Approximate Bayesian Inference.
Malek Messai, Giulio Colavolpe, Karine Amis, Frédéric Guilloud:
Binary Continuous Phase Modulations Robust to a Modulation Index Mismatch.
Fabian Tschopp:
Efficient Convolutional Neural Networks for Pixelwise Classification on Heterogeneous Hardware Systems.
Mohammad Hassan Hajiesmaili, Mohammad Sadegh Talebi, Ahmad Khonsari:
Utility-Optimal Dynamic Rate Allocation under Average End-to-End Delay Requirements.
Dinuka M. W. Abeywardena, Sarath Kodagoda, Gamini Dissanayake, S. Rohan Munasinghe:
Improved State Estimation in Quadrotor MAVs: A Novel Drift-Free Velocity Estimator.
Stellan Ohlsson, Robert H. Sloan, György Turán, Aaron Urasky:
Measuring an Artificial Intelligence System's Performance on a Verbal IQ Test For Young Children.
Mohammad Reza Khanzadi, Rajet Krishnan, Thomas Eriksson:
Receiver Algorithm based on Differential Signaling for SIMO Phase Noise Channels with Common and Separate Oscillator Configurations.
Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani:
Learning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets.
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate:
Observer-based correct-by-design controller synthesis.
Luisa Verdoliva, Davide Cozzolino, Giovanni Poggi:
A reliable order-statistics-based approximate nearest neighbor search algorithm.
Abdeslam El Harraj, Naoufal Raissouni:
OCR accuracy improvement on document images through a novel pre-processing approach.
Minhyung Cho, Chandra Shekhar Dhir, Jaehyung Lee:
Hessian-Free Optimization For Learning Deep Multidimensional Recurrent Neural Networks.
Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub:
Relational reasoning via probabilistic coupling.

Maël Canu, Marcin Detyniecki, Marie-Jeanne Lesot, Adrien Revault d'Allonnes:
Fast community structure local uncovering by independent vertex-centred process.
Seong Joon Oh, Rodrigo Benenson, Mario Fritz, Bernt Schiele:
Person Recognition in Personal Photo Collections.

Ravi Kumar Yadav Dega, Gunes Ercal:
A comparative analysis of progressive multiple sequence alignment approaches using UPGMA and neighbor joining based guide trees.
Manuel Egele, Gianluca Stringhini, Christopher Kruegel, Giovanni Vigna:
Towards Detecting Compromised Accounts on Social Networks.


Soumen Maity, Yasmeen Akhtar, Reshma C. Chandrasekharan:
Improved Strength Four Covering Arrays with Three Symbols.
Georg Möstl, Andreas Springer:
MiXiM, PAWiS, and STEAM-Sim Integration - Combining Channel Models, Energy Awareness, and Real-life Application Code.
Vladimír Veselý, Marcel Marek, Tomas Hykel, Ondrej Rysavý:
Skip This Paper - RINASim: Your Recursive InterNetwork Architecture Simulator.
Jean Lebreton, Nour Murad:
Implementation of a Wake-up Radio Cross-Layer Protocol in OMNeT++ / MiXiM.
Hans Fangohr, Neil S. O'Brien, Anil Prabhakar, Arti Kashyap:
Teaching Python programming with automatic assessment and feedback provision.
Martin Uecker, Michael Lustig:
Estimating Absolute-Phase Maps Using ESPIRiT and Virtual Conjugate Coils.
Qian Liu, Robert D. Russell, Fabrice Mizero, Malathi Veeraraghavan, John M. Dennis, Benjamin Jamroz:
Implementation of PFC and RCM for RoCEv2 Simulation in OMNeT++.
Antonio Virdis:
Optimization in the Loop: Implementing and Testing Scheduling Algorithms with SimuLTE.
Avi Pfeffer, Brian E. Ruttenberg, Amy Sliva, Michael Howard, Glenn Takata:
Lazy Factored Inference for Functional Probabilistic Programming.
Zhongliang Zhao, Denis do Rosário, Torsten Braun, Eduardo Cerqueira:
A Tutorial of the Mobile Multimedia Wireless Sensor Network OMNeT++ Framework.
Torsten Braun, Philipp Hurni, Vitor Bernardo, Marília Curado:
Invited Abstract: Issues with State-based Energy Consumption Modelling.
Mohammadhassan Safavi, Saeed Bastani:
Invited Abstract: A Simulation Package for Energy Consumption of Content Delivery Networks (CDNs).
Ananda Kiran, Navdeep Prashar:
FPGA Implementation of High Speed Baugh-Wooley Multiplier using Decomposition Logic.
Fuan Pu, Jian Luo, Guiming Luo:
Some Supplementaries to The Counting Semantics for Abstract Argumentation.
Peter Dugan, John Zollweg, Marian Popescu, Denise Risch, Hervé Glotin, Yann LeCun, Christopher W. Clark:
High Performance Computer Acoustic Data Accelerator: A New System for Exploring Marine Mammal Acoustics for Big Data Applications.
Satyen Kale, Chansoo Lee, Dávid Pál:
Hardness of Online Sleeping Combinatorial Optimization Problems.
Saikat Basu, Sangram Ganguly, Supratik Mukhopadhyay, Robert DiBiano, Manohar Karki, Ramakrishna R. Nemani:
DeepSat - A Learning framework for Satellite Imagery.
Xiang Sun, Nirwan Ansari, Qiang Fan:
Green Energy Aware Avatar Migration Strategy in Green Cloudlet Networks.
Kathryn D. Huff, Matthew J. Gidden, Robert W. Carlsen, Robert R. Flanagan, Meghan B. McGarry, Arrielle C. Opotowsky, Erich A. Schneider, Anthony M. Scopatz, Paul P. H. Wilson:
Fundamental Concepts in the Cyclus Fuel Cycle Simulator Framework.
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks:
Morpheus: Safe and Flexible Dynamic Updates for SDNs.
Ziv Goldfeld, Paul W. Cuff, Haim H. Permuter:
Semantic-Security Capacity for Wiretap Channels of Type II.
Quoc-Cuong To, Benjamin Nguyen, Philippe Pucheral:
Key Exchange Protocol in the Trusted Data Servers Context.
Hussain Wasly, Ali AlSoufi:
Impact of e-Government Services on Private Sector: An Empirical Assessment Model.
Jordi Pont-Tuset, Pablo Andrés Arbeláez, Luc J. Van Gool:
Oracle MCG: A first peek into COCO Detection Challenges.
Sasi Prabhakaran Viswanathan, Amit Kumar Sanyal, Maziar Izadi:
Mechatronics Architecture of Smartphone-Based Spacecraft ADCS using VSCMG Actuators.
Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems.
Huangxin Wang, Jean X. Zhang, Bo Yang, Fei Li:
Randomization Improving Online Time-Sensitive Revenue Maximization for Green Data Centers.
Yuting Wang, Gopalan Nadathur:
Verified Transformations on Functional Programs Using the Higher-Order Abstract Syntax Approach.

Mohsen Ghasempour, Jim D. Garside, Aamer Jaleel, Mikel Luján:
DReAM: Dynamic Re-arrangement of Address Mapping to Improve the Performance of DRAMs.
Xiao-Yang Liu, Xiaodong Wang, Linghe Kong, Meikang Qiu, Min-You Wu:
An LS-Decomposition Approach for Robust Data Recovery in Wireless Sensor Networks.
Roland Roller, Eneko Agirre, Aitor Soroa, Mark Stevenson:
Improving distant supervision using inference learning.
Mohsen Ghasempour, Aamer Jaleel, Jim D. Garside, Mikel Luján:
HAPPY: Hybrid Address-based Page Policy in DRAMs.
Petr A. Golovach, Pinar Heggernes, Mamadou Moustapha Kanté, Dieter Kratsch, Sigve Hortemo Sæther, Yngve Villanger:
Output-Polynomial Enumeration on Graphs of Bounded (Local) Linear MIM-Width.
Gabriel Prat-Masramon, Lluís A. Belanche Muñoz:
Toward better feature weighting algorithms: a focus on Relief.
Julian Hammer, Georg Hager, Jan Eitzinger, Gerhard Wellein:
Automatic Loop Kernel Analysis and Performance Modeling With Kerncraft.
Waldemar W. Koczkodaj, Jacek Szybowski:
Axiomatization of Inconsistency Indicators for Pairwise Comparisons Matrices Revisited.
Bardia Yousefi, Chu Kiong Loo:
Bio-Inspired Human Action Recognition using Hybrid Max-Product Neuro-Fuzzy Classifier and Quantum-Behaved PSO.
Bing Zhu, Hui Li, Kenneth W. Shum, Shuo-Yen Robert Li:
HFR Code: A Flexible Replication Scheme for Cloud Storage Systems.
Le Xuan Quang, Le Huy Hoang, Vu Dinh Chuan, Nguyen Hoai Nam, Nguyen Thi Tu Anh, Vu Thi Hong Nhung:
Integrated Science, Technology, Engineering and Mathematics (STEM) Education through Active Experience of Designing Technical Toys in Vietnamese Schools.
Faouzi Bellili, Achref Methenni, Souheib Ben Amor, Sofiène Affes, Alex Stephenne:
Time Synchronization of Turbo-Coded Square-QAM-Modulated Transmissions: Code-Aided ML Estimator and Closed-Form Cramér-Rao Lower Bounds.

Kota Naga Srinivasarao Batta, Indrajit Chakrabarti:
Hardware Implementation of Compressed Sensing based Low Complex Video Encoder.
Mohammad Ashraful Anam, Yiannis Andreopoulos:
Failure Mitigation in Linear, Sesquilinear and Bijective Operations On Integer Data Streams Via Numerical Entanglement.
Hongkeun Kim, Claudio De Persis:
Adaptation and Disturbance Rejection for Output Synchronization of Incrementally Output-feedback Passive Systems.
Ömür Arslan, Daniel E. Koditschek:
Voronoi-Based Coverage Control of Heterogeneous Disk-Shaped Robots.
Derrick Newton:
Attack on a classical analogue of the Dunjko, Wallden, Kent and Andersson quantum digital signature protocol.
Alhabib Abbas, Nikos Deligiannis, Yiannis Andreopoulos:
Vectors of Locally Aggregated Centers for Compact Video Representation.

Raymond W. M. Ng, Mortaza Doulaty, Rama Doddipatla, Wilker Aziz, Kashif Shah, Oscar Saz, Madina Hasan, Ghada AlHarbi, Lucia Specia, Thomas Hain:
The USFD Spoken Language Translation System for IWSLT 2014.
Zhen Zuo, Bing Shuai, Gang Wang, Xiao Liu, Xingxing Wang, Bing Wang:
Learning Contextual Dependencies with Convolutional Hierarchical Recurrent Neural Networks.


Zhanpeng Zhang, Ping Luo, Chen Change Loy, Xiaoou Tang:
Learning Social Relation Traits from Face Images.
Ketan Mehta, Jörg Kliewer:
An Information Theoretic Approach Towards Assessing Perceptual Audio Quality using EEG.
Yoshinobu Kawahara, Yutaro Yamaguchi:
Parametric Maxflows for Structured Sparse Learning with Convex Relaxations of Submodular Functions.
Francesco Solera, Simone Calderara, Rita Cucchiara:
Learning to Divide and Conquer for Online Multi-Target Tracking.
Animesh Kumar:
Bandlimited Spatial Field Sampling with Mobile Sensors in the Absence of Location Information.
Nicolas Gauvrit, Fernando Soler-Toscano, Hector Zenil:
Natural scene statistics mediate the perception of image complexity.
Sung-Hsien Hsieh, Chun-Shien Lu, Soo-Chang Pei:
Fast Greedy Approaches for Compressive Sensing of Large-Scale Signals.
Rick Zhang, Federico Rossi, Marco Pavone:
Model Predictive Control of Autonomous Mobility-on-Demand Systems.
Kais Mekki, William Derigent, Eric Rondeau, Ahmed Zouinkhi, Mohamed Naceur Abdelkrim:
An uniform data replication algorithm in wireless micro-sensor network for communicating materials application.
Shivam Garg, Geevarghese Philip:
Raising The Bar For Vertex Cover: Fixed-parameter Tractability Above A Higher Guarantee.
Hieu Duy Nguyen, Sumei Sun:
Massive MIMO versus Small-Cell Systems: Spectral and Energy Efficiency Comparison.
Hieu Duy Nguyen, Sumei Sun:
Stochastic Geometry-Based Performance Bounds for Non-Fading and Rayleigh Fading Ad Hoc Networks.
Hiroyuki Endo, Te Sun Han, Takao Aoki, Masahide Sasaki:
Numerical Study on Secrecy Capacity and Code Length Dependence of the Performances in Optical Wiretap Channels.


Miltiades C. Filippou, George A. Ropokis, David Gesbert, Tharmalingam Ratnarajah:
Joint Sensing and Reception Design of SIMO Hybrid Cognitive Radio Systems.
Michael Castronovo, Damien Ernst, Adrien Couëtoux, Raphaël Fonteneau:
Benchmarking for Bayesian Reinforcement Learning.
Zhijie Ren, Jasper Goseling, Jos H. Weber, Michael Gastpar:
Secure Transmission on the Two-hop Relay Channel with Scaled Compute-and-Forward.
Kristof Böhmer, Stefanie Rinderle-Ma:
A systematic literature review on process model testing: Approaches, challenges, and research directions.
(Withdrawn) Project Beehive: A Hardware/Software Co-designed Stack for Runtime and Architectural Research.
Stefano Cresci, Roberto Di Pietro, Marinella Petrocchi, Angelo Spognardi, Maurizio Tesconi:
Fame for sale: efficient detection of fake Twitter followers.
Ramy Amer, Amr A. El-Sherif, Hanaa Ebrahim, Amr Mokhtar:
Cooperative Cognitive Radio Network with Energy Harvesting: Stability Analysis.
Changsoo Je, Sang Wook Lee, Rae-Hong Park:
Color-Phase Analysis for Sinusoidal Structured Light in Rapid Range Imaging.
Vojtech Forejt, Jan Krcál, Jan Kretínský:
Controller synthesis for MDPs and Frequency LTL$\setminus$GU.
Juan Augusto Maya, Cecilia G. Galarza, Leonardo Rey Vega:
Exploiting Spatial Correlation in Energy Constrained Distributed Detection.
Robert Mattila, Yilin Mo, Richard M. Murray:
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis.
Bart van Delft, Richard Bubel:
Dependency-Based Information Flow Analysis with Declassification in a Program Logic.
Hossein Shokri Ghadikolaei, Carlo Fischione:
Millimeter Wave Ad Hoc Networks: Noise-limited or Interference-limited?
C. L. González-Valiente:
Emerging trends on the topic of Information Technology in the field of Educational Sciences: a bibliometric exploration.
Gaurav Sharma, Frédéric Jurie, Cordelia Schmid:
Expanded Parts Model for Semantic Description of Humans in Still Images.
Saravanan Kandasamy, Ricardo Morla, Manuel Ricardo:
Power Interference Modeling for CSMA/CA based Networks using Directional Antenna.
Claudia Koltzenburg:
Nicht-propositionales Wissen aus Literaturlektüre und Bedingungen seiner Darstellbarkeit in Wikipedia-Einträgen zu literarischen Werken.
Martin Dias, Guillermo Polito, Damien Cassou, Stéphane Ducasse:
DeltaImpactFinder: Assessing Semantic Merge Conflicts with Dependency Analysis.
Mustafa Ozmen, Mustafa Cenk Gursoy:
Wireless Throughput and Energy Efficiency with Random Arrivals and Statistical Queueing Constraints.
Mutaz Beraka, Abdullah Al-Dhelaan, Mznah Al-Rodhaan:
Collaborative Bibliographic System for Review/Survey Articles.
Pramod Kumar Kewat, Sarika Kushwaha:
Cyclic codes over the ring $\mathbb{F}_p[u, v, w]/\langle u^2, v^2, w^2, uv-vu, vw-wv, uw-wu \rangle$.
Hossein Fani, Fattane Zarrinkalam, Xin Zhao, Yue Feng, Ebrahim Bagheri, Weichang Du:
Temporal Identification of Latent Communities on Twitter.
Jianping Zhang, Ke Chen:
A Total Fractional-Order Variation Model for Image Restoration with Non-homogeneous Boundary Conditions and its Numerical Solution.

Neeraj Kumar Misra, Mukesh Kumar Kushwaha, Subodh Wairya, Amit Kumar:
Feasible methodology for optimization of a novel reversible binary compressor.
Andreas Kreienbuehl, Arne Nägel, Daniel Ruprecht, Andreas Vogel, Gabriel Wittum, Rolf Krause:
Parareal convergence for 2D unsteady flow around a cylinder.
Kota Naga Srinivasarao Batta, Indrajit Chakrabarti:
High Speed VLSI Architecture for 3-D Discrete Wavelet Transform.
Andreas Brandstädt, Konrad Dabrowski, Shenwei Huang, Daniël Paulusma:
Bounding the Clique-Width of $H$-free Split Graphs.
Swetank Kumar Saha, Viral Vijay Vira, Anuj Garg, Dimitrios Koutsonikolas:
60 GHz Multi-Gigabit Indoor WLANs: Dream or Reality?
Anastasios K. Papazafeiropoulos:
Downlink Performance of Massive MIMO under General Channel Aging Conditions.
Xiaowei Zhou, Menglong Zhu, Spyridon Leonardos, Kostas Daniilidis:
Sparse Representation for 3D Shape Estimation: A Convex Relaxation Approach.
Neeraj Kumar Misra, Subodh Wairya, Vinod Kumar Singh:
Evolution of structure of some binary group based n bit comparator, n-to-2n decoder by reversible technique.
Mohammad Amin Rahimian, Shahin Shahrampour, Ali Jadbabaie:
Learning without Recall by Random Walks on Directed Graphs.
Hyeji Kim, Abbas El Gamal:
Capacity Theorems for Broadcast Channels with Two Channel State Components Known at the Receivers.
Chuang Zhang, Pingyi Fan:
Power Allocation for Mixed Traffic Broadcast with Service Outage Constraint.
Sushmita Gupta, Kazuo Iwama, Shuichi Miyazaki:
Stable Nash Equilibria in the Gale-Shapley Matching Game.
Qi Qian, Rong Jin, Lijun Zhang, Shenghuo Zhu:
Towards Making High Dimensional Distance Metric Learning Practical.
Joseph Jay Williams, Neil T. Heffernan:
A Methodology for Discovering how to Adaptively Personalize to Users using Experimental Comparisons.
Behtash Babadi, Nicholas Kalouptsidis, Vahid Tarokh:
Comment on "Asymptotic Achievability of the Cramér-Rao Bound for Noisy Compressive Sampling".
Bingwen Zhang, Weiyu Xu, Jian-Feng Cai, Lifeng Lai:
Precise Phase Transition of Total Variation Minimization.
S. Amarappa, S. V. Sathyanarayana:
Kannada named entity recognition and classification (nerc) based on multinomial naïve bayes (mnb) classifier.
Aman Chadha, Sushmit Mallik, Ankit R. Chadha, Ravdeep Johar, M. Mani Roja:
Dual-Layer Video Encryption using RSA Algorithm.
Asif M. Adnan, Sridhar Radhakrishnan, Suleyman Karabuk:
Efficient Kernel Fusion Techniques for Massive Video Data Analysis on GPGPUs.
Ravi Kiran Sarvadevabhatla, R. Venkatesh Babu:
Analyzing structural characteristics of object category representations from their semantic-part distributions.
K. Haribabu, Dayakar Reddy, Chittaranjan Hota, Antti Ylä-Jääski, Sasu Tarkoma:
Adaptive Lookup for Unstructured Peer-to-Peer Overlays.
Jónathan Heras, Gadea Mata, Germán Cuesto, Julio Rubio, Miguel Morales:
Neuron detection in stack images: a persistent homology interpretation.
Robin Lovelace, Anna Goodman, Rachel Aldred, Nikolai Berkoff, Ali Abbas, James Woodcock:
The Propensity to Cycle Tool: An open source online system for sustainable transport planning.
Tobias Strauß, Gundram Leifert, Tobias Grüning, Roger Labahn:
Regular expressions for decoding of neural network outputs.
Amit Chattopadhyay, Hamish A. Carr, David J. Duke, Zhao Geng, Osamu Saeki:
Multivariate Topology Simplification.
Joachim Daiber, Lautaro Quiroz, Roger Wechsler, Stella Frank:
Splitting Compounds by Semantic Analogy.
Evan Byrne, Philip Schniter:
Sparse Multinomial Logistic Regression via Approximate Message Passing.
Janus Heide, Morten Videbæk Pedersen, Frank H. P. Fitzek, Muriel Médard:
Perpetual Codes for Network Coding.
Timo Greifenberg, Katrin Hölldobler, Carsten Kolassa, Markus Look, Pedram Mir Seyed Nazari, Klaus Müller, Antonio Navarro Pérez, Dimitri Plotnikov, Dirk Reiss, Alexander Roth, Bernhard Rumpe, Martin Schindler, Andreas Wortmann:
A Comparison of Mechanisms for Integrating Handwritten and Generated Code for Object-Oriented Programming Languages.
Arne Haber, Markus Look, Antonio Navarro Pérez, Bernhard Rumpe, Steven Völkel, Andreas Wortmann:
Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components.
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann:
Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton.
Vinh Nguyen, Olivier Bodenreider, Krishnaprasad Thirunarayan, Gang Fu, Evan Bolton, Núria Queralt-Rosinach, Laura Inés Furlong, Michel Dumontier, Amit P. Sheth:
On Reasoning with RDF Statements about Statements using Singleton Property Triples.
Enrique Orduña-Malea, Juan Manuel Ayllon, Alberto Martín-Martín, Emilio Delgado López-Cózar:
Improvements in Google Scholar Citations are for the summer: creating an institutional affiliation link feature.
Karmvir Singh Phogat, Debasish Chatterjee, Ravi N. Banavar:
Multiple shooting technique for optimal attitude control of a spacecraft with momentum and control constraints.
Mazen Alsarem, Pierre-Edouard Portier, Sylvie Calabretto, Harald Kosch:
Ranking Entities in the Age of Two Webs, an Application to Semantic Snippets.
Brian D. O. Anderson, Shaoshuai Mou, A. Stephen Morse, Uwe Helmke:
Decentralized gradient algorithm for solution of a linear equation.

Fernando Rosas, Vasilis Ntranos, Christopher J. Ellison, Sofie Pollin, Marian Verhelst:
Understanding interdependency through complex information sharing.


Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Assisted Coverage Closure.
Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger:
Are there any nicely structured preference~profiles~nearby?
Neeraj Kumar Misra, Mukesh Kumar Kushwaha, Subodh Wairya, Amit Kumar:
Cost Efficient Design of Reversible Adder Circuits for Low Power Applications.
Zehra Camlica, Hamid R. Tizhoosh, Farzad Khalvati:
Medical Image Classification via SVM using LBP Features from Saliency-Based Folded Data.
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm.
Lingxiang Li, Zhi Chen, Jun Fang, Athina P. Petropulu:
On the Secrecy Capacity of a MIMO Gaussian Wiretap Channel with a Cooperative Jammer.
Carsten Burstedde, Johannes Holke:
A tetrahedral space-filling curve for non-conforming adaptive meshes.
Arno Solin, Manon Kok, Niklas Wahlström, Thomas B. Schön, Simo Särkkä:
Modeling and interpolation of the ambient magnetic field by Gaussian processes.
Dhruv Gupta, Gunvantsinh Gohil, Mehul S. Raval:
Driver Friendly Headlight Controller for Driving in Developing Countries.
Deepjyoti Deka, Ross Baldick, Sriram Vishwanath:
Jamming aided Generalized Data Attacks: Exposing Vulnerabilities in Secure Estimation.
M. Zeeshan Zia, Luigi Nardi, Andrew Jack, Emanuele Vespa, Bruno Bodin, Paul H. J. Kelly, Andrew J. Davison:
Comparative Design Space Exploration of Dense and Semi-Dense SLAM.
Ahmed A. Othman, Hamid R. Tizhoosh, Farzad Khalvati:
Self-Configuring and Evolving Fuzzy Image Thresholding.
Anastasios K. Papazafeiropoulos, Shree Krishna Sharma, Symeon Chatzinotas:
Impact of Transceiver Impairments on the Capacity of Dual-Hop Relay Massive MIMO Systems.
Ahmed Arafa, Sennur Ulukus:
Optimal Policies for Wireless Networks with Energy Harvesting Transmitters and Receivers: Effects of Decoding Costs.
N. N. Astakhova, L. A. Demidova, E. V. Nikulchev:
Forecasting Method for Grouped Time Series with the Use of k-Means Algorithm.
Daniil Kazantsev, Evgueni Ovtchinnikov, William R. B. Lionheart, Philip J. Withers, Peter D. Lee:
Direct high-order edge-preserving regularization for tomographic image reconstruction.
Christian T. Jacobs, Alexandros Avdis, Simon L. Mouradian, Matthew D. Piggott:
Integrating Research Data Management into Geographical Information Systems.
Akmal Artikov, Aleksandr Dorodnykh, Yana Kashinskaya, Egor Samosvat:
Factorization threshold models for scale-free networks generation.
Harry Boyer, Stéphane Guichard, Aurélien Jean, T. Libelle, Dimitri Bigot, Frédéric Miranville, Milorad Bojic:
Validation of daylighting model in CODYRUN building simulation code.
Tiago P. Peixoto, Martin Rosvall:
Modeling sequences and temporal networks with dynamic community structures.
Muxi Yan, C. Jasson Casey, Prithviraj Shome, Alex Sprintson, Andrew Sutton:
ÆtherFlow: Principled Wireless Support in SDN.
Mehrnaz Afshang, Harpreet S. Dhillon, Peter Han Joo Chong:
Fundamentals of Cluster-Centric Content Placement in Cache-Enabled Device-to-Device Networks.
Tammuz Dubnov, Cheng-i Wang:
Free-body Gesture Tracking and Augmented Reality Improvisation for Floor and Aerial Dance.

Moo K. Chung, Victoria G. Vilalta, Paul J. Rathouz, Benjamin B. Lahey, David H. Zald:
Linear Embedding of Large-Scale Brain Networks for Twin fMRI.
Bing Yao, Xiaomin Wang, Xia Liu, Jin Xu:
Growing Network Models Having Part Edges Removed/added Randomly.
Binnan Zhuang, Dongning Guo, Michael L. Honig:
Energy-Efficient Cell Activation, User Association, and Spectrum Allocation in Heterogeneous Networks.

Shasha Xu, Weijie Lyu, Huilin Li:
Optimizing coverage of 3D Wireless Multimedia Sensor Networks by means of deploying redundant sensors.
Andrea Modenini, Alessandro Ugolini, Amina Piemontese, Giulio Colavolpe:
On the Use of Multiple Satellites to Improve the Spectral Efficiency of Broadcast Transmissions.
Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder:
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans.
Anirban Dasgupta, Anjith George, S. L. Happy, Aurobinda Routray:
An On-board Video Database of Human Drivers.
Sung-Hsien Hsieh, Chun-Shien Lu, Soo-Chang Pei:
Fast Template Matching by Subsampled Circulant Matrix.
Lichao Huang, Yi Yang, Yafeng Deng, Yinan Yu:
DenseBox: Unifying Landmark Localization with End to End Object Detection.
Eunjung Kim, Sang-il Oum, Christophe Paul, Ignasi Sau, Dimitrios M. Thilikos:
An FPT 2-Approximation for Tree-Cut Decomposition.
Anirban Dasgupta, Bibek Kabi, Anjith George, S. L. Happy, Aurobinda Routray:
A Drowsiness Detection Scheme Based on Fusion of Voice and Vision Cues.
Pramod Kumar Parida, Tshilidzi Marwala, Snehashish Chakraverty:
Causal Model Analysis using Collider v-structure with Negative Percentage Mapping.
Li Liu, Mengyang Yu, Ling Shao:
Projection Bank: From High-dimensional Data to Medium-length Binary Codes.
Norbert Blum:
Maximum Matching in General Graphs Without Explicit Consideration of Blossoms Revisited.
Oscar Saz, Mortaza Doulaty, Thomas Hain:
Background-tracking Acoustic Features for Genre Identification of Broadcast Shows.
Xu Jia, Efstratios Gavves, Basura Fernando, Tinne Tuytelaars:
Guiding Long-Short Term Memory for Image Caption Generation.
Wing-Kai Hon, Ton Kloks, Hsiang-Hsuan Liu, Hung-Lung Wang, Yue-Li Wang:
Convexities in Some Special Graph Classes - New Results in AT-free Graphs and Beyond.
Heng Yang, Renqiao Zhang, Peter Robinson:
Human and Sheep Facial Landmarks Localisation by Triplet Interpolated Features.
Francisco Gómez, Joaquín Mora, Emilia Gómez, José Miguel Díaz-Báñez:
Melodic Contour and Mid-Level Global Features Applied to the Analysis of Flamenco Cantes.
Matthew A. Wright, Gabriel B. Gomes, Roberto Horowitz, Alex A. Kurzhanskiy:
A new model for multi-commodity macroscopic modeling of complex traffic networks.
Ashesh Jain, Avi Singh, Hema Swetha Koppula, Shane Soh, Ashutosh Saxena:
Recurrent Neural Networks for Driver Activity Anticipation via Sensory-Fusion Architecture.
Elizaveta V. Kondrashova:
Problem of optimization of a transport traffic at preliminary registration of queires with use of CBSMAP-model.
Ilya V. Osipov, Alex A. Volinsky, Evgeny Nikulchev, D. Plokhov:
Study of Monetization as a Way of Motivating Freemium Service Users.

Paul Hand, Choongbum Lee, Vladislav Voroninski:
Exact simultaneous recovery of locations and structure from known orientations and corrupted point correspondences.
Priyank Gupta, Nick Koudas, Europa Shang, Ryan Johnson, Calisto Zuzarte:
Processing Analytical Workloads Incrementally.
Marc Hellmuth, Nicolas Wieseke:
On Tree Representations of Relations and Graphs: Symbolic Ultrametrics and Cograph Edge Decompositions.
Jordan Landford, Rich Meier, Richard Barella, Xinghui Zhao, Eduardo Cotilla Sanchez, Robert B. Bass, Scott A. Wallace:
Fast Sequence Component Analysis for Attack Detection in Synchrophasor Networks.
Tadilo Endeshaw Bogale, Long Bao Le, Xianbin Wang:
Hybrid Analog-Digital Channel Estimation and Beamforming: Training-Throughput Tradeoff.
Tadilo Endeshaw Bogale, Long Bao Le, Xianbin Wang, Luc Vandendorpe:
Pilot Contamination Mitigation for Wideband Massive MMO: Number of Cells Vs Multipath.
Suman Kalyan Maity, Bhadreswar Ghuku, Abhishek Upmanyu, Animesh Mukherjee:
Out of vocabulary words decrease, running texts prevail and hashtags coalesce: Twitter as an evolving sociolinguistic system.
Joseph M. Collard, Nimish Gupta, Rian Shambaugh, Aaron Weiss, Arjun Guha:
On Static Verification of Puppet System Configurations.

Jing Yuan, Lixiang Li, Haipeng Peng, Jürgen Kurths, Xiaojing Hua, Yixian Yang:
The effect of randomness for dependency map on the robustness of interdependent lattices.
Juan Liu, Wei Chen, Khaled Ben Letaief:
Joint Channel and Queue Aware Scheduling for Wireless Links with Multiple Fading States.

Wei Pan, Ye Yuan, Lennart Ljung, Jorge M. Gonçalves, Guy-Bart Stan:
Identifying Biochemical Reaction Networks From Heterogeneous Datasets.

Pooja Thakar:
Performance Analysis and Prediction in Educational Data Mining: A Research Travelogue.
Dengji Zhao, Sarvapali D. Ramchurn, Nicholas R. Jennings:
Efficient Task Collaboration with Execution Uncertainty.
Shicong Liu, Junru Shao, Hongtao Lu:
Accelerated Distance Computation with Encoding Tree for High Dimensional Data.
(Withdrawn) A balanced rail-to-rail all digital comparator using only standard cells.
Shicong Liu, Junru Shao, Hongtao Lu:
HCLAE: High Capacity Locally Aggregating Encodings for Approximate Nearest Neighbor Search.
Shicong Liu, Hongtao Lu, Junru Shao:
Improved Residual Vector Quantization for High-dimensional Approximate Nearest Neighbor Search.
Andrea Simonetto, Aryan Mokhtari, Alec Koppel, Geert Leus, Alejandro Ribeiro:
A Class of Prediction-Correction Methods for Time-Varying Convex Optimization.
Chenhao Qu, Rodrigo N. Calheiros, Rajkumar Buyya:
A Reliable and Cost-Efficient Auto-Scaling System for Web Applications Using Heterogeneous Spot Instances.
Sergey V. Lemeshevsky, Semion A. Naumovich, Sergey S. Naumovich, Petr N. Vabishchevich, Petr E. Zakharov:
Numerical simulation of the stress-strain state of the dental system.
Antonio Trenta, Anthony Hunter, Sebastian Riedel:
Extraction of evidence tables from abstracts of randomized clinical trials using a maximum entropy classifier and global constraints.
Natalie Wilde, Katrin Hänsel, Hamed Haddadi, Akram Alomainy:
Wearable Computing for Health and Fitness: Exploring the Relationship between Data and Human Behaviour.



Farshad Ghassemi Toosi, Nikola S. Nikolov:
Sync-and-Burst: Force-Directed Graph Drawing with Uniform Force Magnitudes.
Xavier Gibert, Vishal M. Patel, Rama Chellappa:
Deep Multi-task Learning for Railway Track Inspection.
Álvaro Ortega, Federico Milano:
Generalized Model of VSC-based Energy Storage Systems for Transient Stability Analysis.
Rahul Singh, P. R. Kumar:
Decentralized Throughput Maximizing Policies for Deadline-Constrained Wireless Networks.
Victor Schetinger, Manuel M. Oliveira, Roberto da Silva, Tiago J. Carvalho:
Humans Are Easily Fooled by Digital Images.
Carlo Albert, Simone Ulzega:
Bayesian Parameter Inference for 1D Nonlinear Stochastic Differential Equation Models.
Rahul Singh, P. R. Kumar:
Optimizing Quality of Experience of Dynamic Video Streaming over Fading Wireless Networks.
Martin Gairing, Rahul Savani:
Computing stable outcomes in symmetric additively-separable hedonic games.
Søren Kaae Sønderby, Casper Kaae Sønderby, Lars Maaløe, Ole Winther:
Recurrent Spatial Transformer Networks.
Ali Hamada Fakra, Frédéric Miranville, Dimitri Bigot, Harry Boyer:
Elements of Validation of Artificial Lighting through the Software CODYRUN: Application to a Test Case of the International Commission on Illumination (CIE).
Reginald Neil C. Recario, Marie Betel B. de Robles, Kristine Elaine P. Bautista, Jaderick P. Pabico:
Social Loafing Among Members of Undergraduate Software Engineering Groups: Persistence of Perception Seven Years After.
João E. Strapasson, Grasiele C. Jorge, Antonio Campello, Sueli I. Rodrigues Costa:
Quasi-perfect codes in the ℓp metric.

Manfred Kufleitner, Jan Philipp Wächter:
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy.
Gokhan Tanisik, Cemil Zalluhoglu, Nazli Ikizler-Cinbis:
Facial Descriptors for Human Interaction Recognition In Still Images.
Peter Burkert, Felix Trier, Muhammad Zeshan Afzal, Andreas Dengel, Marcus Liwicki:
DeXpression: Deep Convolutional Neural Network for Expression Recognition.

Symeon Meichanetzoglou, Sotiris Ioannidis, Nikolaos Laoutaris:
Testing for common sense (violation) in airline pricing or how complexity asymmetry defeated you and the web.
Berk Gurakan, Omur Ozel, Sennur Ulukus:
Optimal Energy and Data Routing in Networks with Energy Cooperation.
Jason Koh, Bharathan Balaji, Rajesh Gupta, Yuvraj Agarwal:
HVACMeter: Apportionment of HVAC Power to Thermal Zones and Air Handler Units.

Wilfredo Bardales Roncalla, Eduardo Sany Laber, Ferdinando Cicalese:
Searching for a superlinear lower bounds for the Maximum Consecutive Subsums Problem and the (min, +)-convolution.
Anant Baijal, Julia Kim, Carmen Branje, Frank A. Russo, Deborah I. Fels:
Composing vibrotactile music: A multisensory experience with the Emoti-chair.
Xi Zhang, Yanwei Fu, Shanshan Jiang, Leonid Sigal, Gady Agam:
Learning from Synthetic Data Using a Stacked Multichannel Autoencoder.

Marc Vuffray, Theodor Misiakiewicz:
Concentration to Zero Bit-Error Probability for Regular LDPC Codes on the Binary Symmetric Channel: Proof by Loop Calculus.
Chenxi Liu, Nan (Jonas) Yang, Robert A. Malaney, Jinhong Yuan:
Artificial-Noise-Aided Transmission in Multi-Antenna Relay Wiretap Channels with Spatially Random Eavesdroppers.
Han Xiao, Minlie Huang, Yu Hao, Xiaoyan Zhu:
TransG : A Generative Mixture Model for Knowledge Graph Embedding.
Han Xiao, Minlie Huang, Yu Hao, Xiaoyan Zhu:
TransA: An Adaptive Approach for Knowledge Graph Embedding.
Melissa Romanus, Robert B. Ross, Manish Parashar:
Challenges and Considerations for Utilizing Burst Buffers in High-Performance Computing.
Renyuan Zhang, Kai Cai:
Supervisor Localization of Discrete-Event Systems under Partial Observation.

Howard H. Yang, Giovanni Geraci, Tony Q. S. Quek:
Energy-Efficient Design of MIMO Heterogeneous Networks with Wireless Backhaul.
Jackie Ma:
Stable reconstructions for the analysis formulation of ℓp-minimization using redundant systems.
Gang Chen, Mikel L. Forcada:
A Light Sliding-Window Part-of-Speech Tagger for the Apertium Free/Open-Source Machine Translation Platform.
Matt Kaufmann, David L. Rager:
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. EPTCS 192, 2015 [contents]
Kun Zhao, Azadeh Alavi, Arnold Wiliem, Brian C. Lovell:
Efficient Clustering on Riemannian Manifolds: A Kernelised Random Projection Approach.
Dipasree Pal, Mandar Mitra, Samar Bhattacharya:
Exploring Query Categorisation for Query Expansion: A Study.
Roy Ka-Wei Lee, Yingjiu Li:
SignEPC : A Digital Signature Scheme for Efficient and Scalable Access Control in EPCglobal Network.
Ioannis Psaras, Konstantinos V. Katsaros, Lorenzo Saino, George Pavlou:
LIRA: A Location Independent Routing Layer based on Source-Provided Ephemeral Names.
Kwang Hee Lee, Changsoo Je, Sang Wook Lee:
Color-Stripe Structured Light Robust to Surface Color and Discontinuity.
Xiaochen Xia, Dongmei Zhang, Kui Xu, Wenfeng Ma, Youyun Xu:
Hardware Impairments Aware Transceiver for Full-Duplex Massive MIMO Relaying.


Sergio Herrería-Alonso, Miguel Rodríguez-Pérez, Manuel Fernández-Veiga, Cándido López-García:
Adaptive DRX Scheme to Improve Energy Efficiency in LTE Networks with Bounded Delay.
Reed H. Harder, Alfredo J. Velasco, Michael S. Evans, Daniel N. Rockmore:
Measuring Verifiability in Online Information.
Martin Nöllenburg, Roman Prutkin, Ignaz Rutter:
Partitioning Graph Drawings and Triangulated Simple Polygons into Greedily Routable Regions.
M. Seetha Ramaiah, Amitabha Mukerjee, Arindam Chakraborty, Sadbodh Sharma:
Visual Generalized Coordinates.

Peter D. Kvam, Joseph Cesario, Jory Schossau, Heather Eisthen, Arend Hintze:
Computational evolution of decision-making strategies.

Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-based Synthesis of Distributed Self-Stabilizing Protocols.
Edwin Hammerich:
Waterfilling theorems for linear time-varying channels and related nonstationary sources.
Yuncheng Li, Yang Cong, Tao Mei, Jiebo Luo:
User-Curated Image Collections: Modeling and Recommendation.
Sergey Bereg, Krzysztof Fleszar, Philipp Kindermann, Sergey Pupyrev, Joachim Spoerhase, Alexander Wolff:
Colored Non-Crossing Euclidean Steiner Forest.
Serge Gaspers, Neeldhara Misra, Sebastian Ordyniak, Stefan Szeider, Stanislav Zivny:
Backdoors into Heterogeneous Classes of SAT and CSP.
Issa Atoum, Chih How Bong, Narayanan Kulathuramaiyer:
Building a Pilot Software Quality-in-Use Benchmark Dataset.
Haohan Wang, Madhavi K. Ganapathiraju:
Evaluation of Protein-protein Interaction Predictors with Noisy Partially Labeled Data Sets.
Pankaj K. Agarwal, Kyle Fox, Abhinandan Nath, Anastasios Sidiropoulos, Yusu Wang:
Computing the Gromov-Hausdorff Distance for Metric Trees.
Andrew J. R. Simpson:
"Oddball SGD": Novelty Driven Stochastic Gradient Descent for Training Deep Neural Networks.
Alessandro Checco, Giuseppe Bianchi, Douglas J. Leith:
BLC: Private Matrix Factorization Recommenders via Automatic Group Learning.
Sergey V. Avgustinovich, Sergey Kitaev, Vladimir N. Potapov, Vincent Vajnovszki:
Gray coding planar maps.
Tatsunori B. Hashimoto, David Alvarez-Melis, Tommi S. Jaakkola:
Word, graph and manifold embedding from Markov processes.
Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Saket Saurabh:
Lower bounds for approximation schemes for Closest String.
Francisco J. Soulignac:
A certifying and dynamic algorithm for the recognition of proper circular-arc graphs.
Elif Ayvali, Rangaprasad Arun Srivatsan, Long Wang, Rajarshi Roy, Nabil Simaan, Howie Choset:
Using Bayesian Optimization to Guide Probing of a Flexible Environment for Simultaneous Registration and Stiffness Mapping.
Rob J. van Glabbeek:
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP.
Zhibo Yang, Huanle Xu, Keda Fu, Yong Xia:
Similar Handwritten Chinese Character Discrimination by Weakly Supervised Learning.
Frank Ong, Sameer Pawar, Kannan Ramchandran:
Fast and Efficient Sparse 2D Discrete Fourier Transform using Sparse-Graph Codes.
Yi Fan, Chengqian Li, Zongjie Ma, Ljiljana Brankovic, Vladimir Estivill-Castro, Abdul Sattar:
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs.
Wutong Yang, Minxian Xu, GuoZhong Li, Wenhong Tian:
CloudSimNFV: Modeling and Simulation of Energy-Efficient NFV in Cloud Data Centers.
Gholamali Aminian, Maryam Farahnak-Ghazani, Mahtab Mirmohseni, Masoumeh Nasiri-Kenari, Faramarz Fekri:
On the Capacity of Point-to-Point and Multiple-Access Molecular Communications with Ligand-Receptors.
Holger Ingmar Meinhardt:
The Incorrect Usage of Propositional Logic in Game Theory: The Case of Disproving Oneself.
Tarek A. Lahlou, Alan V. Oppenheim:
Trading Accuracy for Numerical Stability: Orthogonalization, Biorthogonalization and Regularization.
Michal Pilipczuk, Marcin Wrochna:
On space efficiency of algorithms working on structural decompositions of graphs.

Paras Jain, Shang-Tse Chen, Mozhgan Azimpourkivi, Duen Horng Chau, Bogdan Carbunar:
Spotting Suspicious Reviews via (Quasi-)clique Extraction.
Yoshua Bengio, Thomas Mesnard, Asja Fischer, Saizheng Zhang, Yuhai Wu:
An objective function for STDP.
Vishesh Vikas, Piyush Grover, Barry Trimmer:
Model-free control framework for multi-limb soft robots.
Mahdi Azarafrooz, Rajarathnam Chandramouli:
Complexity Analysis of CSMA Scheduling via Dependencies Matrix.
Umar Farooq, Sajid Bashir, Tauseef Tasneem, A. Saboor, A. Rauf:
Migration from Copper to Fiber Access Network using Passive Optical Network for Green and Dry Field Areas of Pakistan.
Shiyang Leng, Derrick Wing Kwan Ng, Nikola Zlatanov, Robert Schober:
Multi-Objective Beamforming for Energy-Efficient SWIPT Systems.
Jingbo Wu, Li Li, Valery A. Ugrinovskii, Frank Allgöwer:
Distributed Filter Design for Cooperative H-Infinity-Type Estimation.
Daniel Haas, Jiannan Wang, Eugene Wu, Michael J. Franklin:
CLAMShell: Speeding up Crowds for Low-latency Data Labeling.
Dan Stowell, Richard E. Turner:
Denoising without access to clean data using a partitioned autoencoder.
Janis Buls, Imants Gorbans, Ivans Kulesovs, Uldis Straujums:
The adaptation of Shamir's protocol for increasing the security of a mobile environment.
(Withdrawn) Robust Visual Tracking via Inverse Nonnegative Matrix Factorization.
Vlad Olaru, Mihai Florea, Cristian Sminchisescu:
A Parallel Framework for Parametric Maximum Flow Problems in Image Segmentation.

Abraham Kabore, Vahid Meghdadi, Jean-Pierre Cances:
LT Codes Combined with Network Coding for Multihop Powerline Smart Grid Networks.
Haifan Yin, Laura Cottatellucci, David Gesbert, Ralf R. Müller, Gaoning He:
Robust Pilot Decontamination Based on Joint Angle and Power Domain Discrimination.
Saiph Savage, Andrés Monroy-Hernández, Tobias Höllerer:
Botivist: Calling Volunteers to Action Using Online Bots.
Siddharth Jain, Farzad Farnoud, Jehoshua Bruck:
Capacity and Expressiveness of Genomic Tandem Duplication.
Arsalan Mousavian, Jana Kosecka:
Deep Convolutional Features for Image Based Retrieval and Scene Categorization.
H. Ouahi, Karim Afdel, Mustapha Machkour:
Image Retrieval Based on LBP Pyramidal Multiresolution using Reversible Watermarking.
Quanzeng You, Jiebo Luo, Hailin Jin, Jianchao Yang:
Robust Image Sentiment Analysis Using Progressively Trained and Domain Transferred Deep Networks.
Hua Chen, YangQuan Chen:
Fractional-order Generalized Principle of Self-Support (FOG PSS) in Control Systems Design.
Abdolahad Noori Zehmakan, Mojtaba Eslahi:
A linear approximation algorithm for the BPP with the best possible absolute approximation ratio.
Hugo Jair Escalante, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Marcelo Luis Errecalde:
Early text classification: a Naive solution.
Md. Zakirul Alam Bhuiyan, Guojun Wang, Jie Wu, Jiannong Cao:
Dependable Structural Helath Monitoring Using Wireless Sensor Networks.
Mahyar Najibi, Mohammad Rastegari, Larry S. Davis:
On Large-Scale Retrieval: Binary or n-ary Coding?




J Strother Moore:
Stateman: Using Metafunctions to Manage Large Terms Representing Machine States. 93-109
Zuxuan Wu, Yu-Gang Jiang, Xi Wang, Hao Ye, Xiangyang Xue, Jun Wang:
Fusing Multi-Stream Deep Networks for Video Classification.
Wanchun Liu, Xiangyun Zhou, Salman Durrani, Hani Mehrpouyan, Steven D. Blostein:
Energy Harvesting Wireless Sensor Networks: Delay Analysis Considering Energy Costs of Sensing and Transmission.
Nilesh Chakraborty, Samrat Mondal:
A New Storage Optimized Honeyword Generation Approach for Enhancing Security and Usability.
Xiaofei Wang, Chao Wu, Pengyuan Zhang, Ziteng Wang, Yong Liu, Xu Li, Qiang Fu, Yonghong Yan:
Noise Robust IOA/CAS Speech Separation and Recognition System For The Third 'CHIME' Challenge.
Dustin Freeman, Ricardo Jota, Daniel Vogel, Daniel J. Wigdor, Ravin Balakrishnan:
A Dataset of Naturally Occurring, Whole-Body Background Activity to Reduce Gesture Conflicts.
Yang Yi, Geng Zhou, Jianqing Zhang, Siyuan Cheng, Mengyin Fu:
Design, Modeling and Control of A Novel Amphibious Robot with Dual-swing-legs Propulsion Mechanism.
Chelsea Finn, Xin Yu Tan, Yan Duan, Trevor Darrell, Sergey Levine, Pieter Abbeel:
Learning Visual Feature Spaces for Robotic Manipulation with Deep Spatial Autoencoders.
Inwook Shim, Seunghak Shin, Yunsu Bok, Kyungdon Joo, Dong-Geol Choi, Joon-Young Lee, Jaesik Park, Jun-Ho Oh, In So Kweon:
Vision System and Depth Processing for DRC-HUBO+.
Claudio Roncoli, Nikolaos Bekiaris-Liberis, Markos Papageorgiou:
Highway traffic state estimation using speed measurements: case studies on NGSIM data and highway A20 in the Netherlands.
QingChun ShenTu, Jianping Yu:
Transaction Remote Release (TRR): A New Anonymization Technology for Bitcoin.
Feng Liu, Dan Zeng, Jing Li, Qijun Zhao:
Cascaded Regressor based 3D Face Reconstruction from a Single Arbitrary View Image.
Shubhendu Trivedi, Zachary A. Pardos, Neil T. Heffernan:
The Utility of Clustering in Prediction Tasks.

Ruth Fairclough, Mike Thelwall:
More Precise Methods for National Research Citation Impact Comparisons.
Jan Hazla, Thomas Holenstein, Elchanan Mossel:
Lower Bounds on Same-Set Inner Product in Correlated Spaces.
Manfred Kufleitner, Tobias Walter:
Level Two of the Quantifier Alternation Hierarchy over Infinite Words.
Lukas Fleischer, Manfred Kufleitner:
Efficient Algorithms for Morphisms over Omega-Regular Languages.
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects.
Ruben Becker, Michael Sagraloff, Vikram Sharma, Chee-Keng Yap:
A Simple Near-Optimal Subdivision Algorithm for Complex Root Isolation based on the Pellet Test and Newton Iteration.

Albert Gordo, Jon Almazán, Naila Murray, Florent Perronnin:
LEWIS: Latent Embeddings for Word Images and their Semantics.
Christopher Thron, Ahsan Aziz:
Algebraic Solution for Beamforming in Two-Way Relay Systems with Analog Network Coding.
Xin Yuan, Hong Jiang, Paul A. Wilford:
Convergence of the Generalized Alternating Projection Algorithm for Compressive Sensing.
Pablo Rodríguez-Mier, Manuel Mucientes, Manuel Lama:
Hybrid Optimization Algorithm for Large-Scale QoS-Aware Service Composition.
Sarmen Keshishzadeh, Jan Friso Groote:
Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness.
Anant Baijal, Jaeyoun Cho, Woojung Lee, Byeong-Seob Ko:
Sports highlights generation based on acoustic events detection: A rugby case study.
Tarek A. Lahlou, Thomas A. Baran:
Web Services for Asynchronous, Distributed Optimization Using Conservative Signal Processing.
J. Chris Foreman, Rammohan K. Ragade, James H. Graham:
An Immersive Visualization Tool for Teaching and Simulation of Smart Grid Technologies.
Pooja Pandey, Abraham P. Punnen:
On a linearization technique for solving quadratic set covering problem and variations.
Mina Taheri, Nirwan Ansari:
Design and Analysis of Green Optical Line Terminal for TDM Passive Optical Networks.
Wojciech Samek, Alexander Binder, Grégoire Montavon, Sebastian Bach, Klaus-Robert Müller:
Evaluating the visualization of what a Deep Neural Network has learned.
Liang Ma, Ting He, Ananthram Swami, Donald F. Towsley, Kin K. Leung:
Network Capability in Localizing Node Failures via End-to-end Path Measurements.
Paul S. Bonsma, Daniël Paulusma:
Using Contracted Solution Graphs for Solving Reconfiguration Problems.
Raghav Kulkarni, Supartha Podder:
Quantum Query Complexity of Subgraph Isomorphism and Homomorphism.
Balder ten Cate, Richard L. Halpert, Phokion G. Kolaitis:
Exchange-Repairs: Managing Inconsistency in Data Exchange.
David Hallac, Christopher Wong, Steven Diamond, Rok Sosic, Stephen P. Boyd, Jure Leskovec:
SnapVX: A Network-Based Convex Optimization Solver.
Varun Jog, Po-Ling Loh:
Information-theoretic bounds for exact recovery in weighted stochastic block models using the Renyi divergence.
Soumya Banerjee, Joshua Hecker:
A Multi-Agent System Approach to Load-Balancing and Resource Allocation for Distributed Computing.
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On Computational Paths and the Fundamental Groupoid of a Type.
Bernhard Haeupler, David G. Harris:
Improved bounds and parallel algorithms for the Lovasz Local Lemma.
Shuo Yang, Ping Luo, Chen Change Loy, Xiaoou Tang:
From Facial Parts Responses to Face Detection: A Deep Learning Approach.

David Gibb, Bruce M. Kapron, Valerie King, Nolan Thorn:
Dynamic graph connectivity with improved worst case update time and sublinear space.
Yiyi Liao, Sarath Kodagoda, Yue Wang, Lei Shi, Yong Liu:
Understand Scene Categories by Objects: A Semantic Regularized Scene Classifier Using Convolutional Neural Networks.
Tatsuro Kawamoto, Yoshiyuki Kabashima:
Detectability of the spectral method for sparse graph partitioning.
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet:
On the Complexity of Flanked Finite State Automata.
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach:
A Verified Information-Flow Architecture.
Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan:
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina.
Silvano Dal-Zilio, Bernard Berthomieu:
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus.
Emil Björnson, Erik G. Larsson:
Three Practical Aspects of Massive MIMO: Intermittent User Activity, Pilot Synchronism, and Asymmetric Deployment.
Gianfranco Elena, Christopher W. Johnson:
Factors influencing risk acceptance of Cloud Computing services in the UK Government.
Malte Probst, Franz Rothlauf:
Deep Boltzmann Machines in Estimation of Distribution Algorithms for Combinatorial Optimization.
Gianfranco Elena, Christopher W. Johnson:
Laypeople and Experts risk perception of Cloud Computing Services.
Spandan Roy, Indra Narayan Kar:
Adaptive-Robust Control of a Class of Nonlinear Systems with Unknown Input Delay.
Yongqiang Gao, Weilin Huang, Yu Qiao:
Local Multi-Grouped Binary Descriptor with Ring-based Pooling Configuration and Optimization.
Rafael A. Melo, Phillippe Samer, Sebastián Urrutia:
An effective decomposition approach and heuristics to generate spanning trees with a small number of branch vertices.
Oleguer Sagarra, Mario Gutiérrez-Roig, Isabelle Bonhoure, Josep Perello:
Citizen Science practices for Computational Social Sciences research: The conceptualization of Pop-Up Experiments.
Jean-Valère Cossu, Vincent Labatut, Nicolas Dugué:
A Review of Features for the Discrimination of Twitter Users: Application to the Prediction of Offline Influence.
Giovanni Da San Martino, Nicolò Navarin, Alessandro Sperduti:
Graph Kernels exploiting Weisfeiler-Lehman Graph Isomorphism Test Extensions.
Gang Yang, Mohammad R. Vedady Moghadam, Rui Zhang:
Magnetic Beamforming for Wireless Power Transfer.
Bo Zhou, Ying Cui, Meixia Tao:
Stochastic Content-Centric Multicast Scheduling for Cache-Enabled Heterogeneous Cellular Networks.
Shih-Wei Hu, Gang-Xuan Lin, Sung-Hsien Hsieh, Wei-Jie Liang, Chun-Shien Lu:
Performance Analysis of Joint-Sparse Recovery from Multiple Measurements and Prior Information via Convex Optimization.
Chirag Nagpal, Kyle Miller, Benedikt Boecking, Artur Dubrawski:
An Entity Resolution approach to isolate instances of Human Trafficking online.
Tim Rocktäschel, Edward Grefenstette, Karl Moritz Hermann, Tomás Kociský, Phil Blunsom:
Reasoning about Entailment with Neural Attention.
Rihab Maaloul, Lamia Chaari Fourati, Bernard Cousin:
Energy-Aware Forwarding Strategy for Metro Ethernet Networks.
Vishesh Vikas, Eliad Cohen, Rob Grassi, Canberk Sozer, Barry Trimmer:
Design and locomotion control of soft robot using friction manipulation and motor-tendon actuation.
Nadya Williams, Aimee Stewart, Philip M. Papadopoulos:
Virtualizing Lifemapper Software Infrastructure for Biodiversity Expedition.
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Bin Packing with Linear Usage Costs.
Hashim Yasin, Umar Iqbal, Björn Krüger, Andreas Weber, Juergen Gall:
3D Pose Estimation from a Single Monocular Image.
Nikolai Yakovenko, Liangliang Cao, Colin Raffel, James Fan:
Poker-CNN: A Pattern Learning Strategy for Making Draws and Bets in Poker Games.
Jason D. McEwen, Boris Leistedt, Martin Büttner, Hiranya V. Peiris, Yves Wiaux:
Directional spin wavelets on the sphere.
Alessandro Pilloni, Alessandro Pisano, Yury Orlov, Elio Usai:
Consensus-based control for a network of diffusion PDEs with boundary local interaction.
Jason D. McEwen, Claudio Durastanti, Yves Wiaux:
Localisation of directional scale-discretised wavelets on the sphere.
Zhihan Lv:
Preprint: Bringing immersive enjoyment to hyperbaric oxygen chamber users using virtual reality glasses.
Zhihan Lv, Vicente Penades, Sonia Blasco, Javier Chirivella, Pablo Gagliardo:
Preprint: Intuitive Evaluation of Kinect2 based Balance Measurement Software.
Zhihan Lv, Vicente Penades, Sonia Blasco, Javier Chirivella, Pablo Gagliardo:
Preprint: Comparing Kinect2 based Balance Measurement Software to Wii Balance Board.
Tianhao Zhang, Gregory Kahn, Sergey Levine, Pieter Abbeel:
Learning Deep Control Policies for Autonomous Aerial Vehicles with MPC-Guided Policy Search.
Abbas Soltanian, Mohammad A. Salahuddin, Halima Elbiaze, Roch H. Glitho:
A Resource Allocation Mechanism for Video Mixing as a Cloud Computing Service in Multimedia Conferencing Applications.
Jimmy Ba, Roger B. Grosse, Ruslan Salakhutdinov, Brendan J. Frey:
Learning Wake-Sleep Recurrent Attention Models.
Junghyun Nam, Kim-Kwang Raymond Choo, Sangchul Han, Moonseong Kim, Juryon Paik, Dongho Won:
Efficient and Anonymous Two-Factor User Authentication in Wireless Sensor Networks: Achieving User Anonymity with Lightweight Sensor Computation.
Quang Do, Ben Martini, Kim-Kwang Raymond Choo:
A Forensically Sound Adversary Model for Mobile Devices.
Christopher Xie, Sachin Patil, Teodor Mihai Moldovan, Sergey Levine, Pieter Abbeel:
Model-based Reinforcement Learning with Parametrized Physical Models and Optimism-Driven Exploration.
Lerrel Pinto, Abhinav Gupta:
Supersizing Self-supervision: Learning to Grasp from 50K Tries and 700 Robot Hours.
Shahadat Uddin, Arif Khan, Louise A. Baur:
A Framework to Explore the Knowledge Structure of Multidisciplinary Research Fields.
Sreram Balasubramaniyan, Furio Buonopane, B. Subathra, Seshadhri Srinivasan:
Estimating Random Delays in Modbus Network Using Experiments and General Linear Regression Neural Networks with Genetic Algorithm Smoothing.
Bakhtiyar Farayev, Yalcin Sadi, Sinem Coleri Ergen:
Optimal Power Control and Rate Adaptation for Ultra-Reliable M2M Control Applications.
Justin Fu, Sergey Levine, Pieter Abbeel:
One-Shot Learning of Manipulation Skills with Online Dynamics Adaptation and Neural Network Priors.
Shayan Poursoltan, Frank Neumann:
A Feature-Based Comparison of Evolutionary Computing Techniques for Constrained Continuous Optimisation.
Manvi, Komal Kumar Bhatia, Ashutosh Dixit:
Design and Implementation of Domain based Semantic Hidden Web Crawler.
Sungsoo Ahn, Sejun Park, Michael Chertkov, Jinwoo Shin:
Minimum Weight Perfect Matching via Blossom Belief Propagation.
Abdullah Gubbi, Mohammad Fazle Azeem, Zahid Ahmed Ansari:
New Fuzzy LBP Features for Face Recognition.
Bo Jiang, Peng Chen, Wing Kwong Chan, Xinchao Zhang:
To What Extent Is Stress Testing of Android TV Applications Automated in Industrial Environments?
Rossi Kamal, Choong Seon Hong:
Unsupervised Online Bayesian Autonomic Happy Internet-of-Things Management.
Javier Esparza, Enrico Tronci:
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015 [contents]
Hendrik Barfuss, Christian Huemmer, Andreas Schwarz, Walter Kellermann:
Robust coherence-based spectral enhancement for distant speech recognition.
Jia Liu, Min Sheng, Yang Xu, Hongguang Sun, Xijun Wang, Xiaohong Jiang:
Throughput capacity of two-hop relay MANETs under finite buffers.
Swagata Mandal, Rourab Paul, Suman Sau, Amlan Chakrabarti, Subhasis Chattopadhyay:
A Novel Method for Soft Error Mitigation in FPGA using Adaptive Cross Parity Code.
Sándor P. Fekete, Robert T. Schweller, Andrew Winslow:
Size-Dependent Tile Self-Assembly: Constant-Height Rectangles and Stability.
Jia Liu, Min Sheng, Yang Xu, Jiandong Li, Xiaohong Jiang:
On throughput capacity for a class of buffer-limited MANETs.


Lin Zhang, Ming Xiao, Gang Wu, Shaoqian Li:
Efficient Scheduling and Power Allocation for D2D-assisted Wireless Caching Networks.
Kurt Winkler, Tobias Kuhn:
Fully automatic multi-language translation with a catalogue of phrases - successful employment for the Swiss avalanche bulletin.
Giulia Pasquale, Tanis Mar, Carlo Ciliberto, Lorenzo Rosasco, Lorenzo Natale:
Enabling Depth-driven Visual Attention on the iCub Humanoid Robot: Instructions for Use and New Perspectives.
Gilles Puy, Mike E. Davies, Rémi Gribonval:
Recipes for stable linear embeddings from Hilbert spaces to $\mathbb{R}^m$.
Jia Liu, Min Sheng, Yang Xu, Jiandong Li, Xiaohong Jiang:
End-to-end delay modeling in buffer-limited MANETs: a general theoretical framework.
Marc Hellmuth, Adrian Fritz, Nicolas Wieseke, Peter F. Stadler:
Techniques for the Cograph Editing Problem: Module Merge is equivalent to Editing P4s.
Max Bannach, Christoph Stockhusen, Till Tantau:
Fast Parallel Fixed-Parameter Algorithms via Color Coding.
Varat Chawathaworncharoen, Vasaka Visoottiviseth, Ryousei Takano:
Feasibility Evaluation of 6LoWPAN over Bluetooth Low Energy.
Andrea Bisoffi, Fulvio Forni, Mauro Da Lio, Luca Zaccarian:
Global results on reset-induced periodic trajectories of planar systems.
Dengxin Dai, Yujian Wang, Yuhua Chen, Luc J. Van Gool:
How Useful Is Image Super-resolution to Other Vision Tasks?
Yuan-Hsun Lo, Yijin Zhang, Wing Shing Wong, Hung-Lin Fu:
The Global Packing Number for an Optical Network.
Cristian Jimenez-Romero, David Sousa-Rodrigues, Jeffrey H. Johnson:
Designing Behaviour in Bio-inspired Robots Using Associative Topologies of Spiking-Neural-Networks.
Yuheng Bu, Shaofeng Zou, Yingbin Liang, Venugopal V. Veeravalli:
Universal Outlying sequence detection For Continuous Observations.

Soumi Chaki, Aurobinda Routray, William K. Mohanty:
A Novel Pre-processing Scheme to Improve the Prediction of Sand Fraction from Seismic Attributes using Neural Networks.
Akhilesh K. Verma, Soumi Chaki, Aurobinda Routray, William K. Mohanty, Mamata Jenamani:
Quantification of sand fraction from seismic attributes using Neuro-Fuzzy approach.
Siddhant Ahuja, Peter Iles, Steven Lake Waslander:
3D Scan Registration using Curvelet Features in Planetary Environments.
Soumi Chaki, Akhilesh K. Verma, Aurobinda Routray, William K. Mohanty, Mamata Jenamani:
Well Tops Guided Prediction of Reservoir Properties using Modular Neural Network Concept A Case Study from Western Onshore, India.
Willie K. Harrison, Dinis Sarmento, João P. Vilela, Marco Gomes:
Analysis of Short Blocklength Codes for Secrecy.
(Withdrawn) On The Direct Maximization of Quadratic Weighted Kappa.
Sayed Kamaledin Ghiasi Shirazi, Mahdi Mohseni, Majid Darvishan, Reza Yousefzadeh:
RSCM Technology for Developing Runtime-Reconfigurable Telecommunication Applications.
Grigory Kabatiansky, Cédric Tavernier, Serge Vladuts:
On the Doubly Sparse Compressed Sensing Problem.
C. L. González-Valiente:
Analysis of the impact of studies published by Internext - Revista Eletrônica de Negócios Internacionais.
Bob Carpenter, Matthew D. Hoffman, Marcus Brubaker, Daniel Lee, Peter Li, Michael Betancourt:
The Stan Math Library: Reverse-Mode Automatic Differentiation in C++.
Stefano Di Cairano:
Indirect-adaptive Model Predictive Control for Linear Systems with Polytopic Uncertainty.
Jaimie Murdock, Colin Allen, Simon DeDeo:
Exploration and Exploitation of Victorian Science in Darwin's Reading Notebooks.
Yu Wang, Jianbo Yuan, Jiebo Luo:
America Tweets China: A Fine-Grained Analysis of the State and Individual Characteristics Regarding Attitudes towards China.
Kai-Wei Chang, Shyam Upadhyay, Ming-Wei Chang, Vivek Srikumar, Dan Roth:
IllinoisSL: A JAVA Library for Structured Prediction.


Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
Simulator Semantics for System Level Formal Verification. 86-99
Rayna Dimitrova, Rupak Majumdar:
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. 100-114
Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
Well Structured Transition Systems with History. 115-128
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen:
Average-energy games. 1-15
Martin Zimmermann:
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL. 144-157

Ryoma Sin'ya:
An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects. 172-185
Zaihu Pang, Fengyun Zhu:
Noise-Robust ASR for the third 'CHiME' Challenge Exploiting Time-Frequency Masking based Multi-Channel Speech Enhancement and Recurrent Neural Network.
Chenxi Liu, Nan (Jonas) Yang, Jinhong Yuan, Robert A. Malaney:
Secure Transmission for Relay Wiretap Channels in the Presence of Spatially Random Eavesdroppers.
Chen Sun, Chuang Gan, Ram Nevatia:
Automatic Concept Discovery from Parallel Text and Visual Corpora.
A. J. Han Vinck, Fatma Rouissi, Thokozani Shongwe, Guilherme R. Colen, Lucas Giroto de Oliveira:
Impulse Noise and Narrowband PLC.
Shawn Andrews, Ghassan Hamarneh:
Multi-Region Probabilistic Dice Similarity Coefficient using the Aitchison Distance and Bipartite Graph Matching.
Taotao Wang, Soung Chang Liew, Long Shi:
A Lattice Approach for Optimal Rate-Diverse Wireless Network Coding.
Soumya Basu, Thanasis Lianeas, Evdokia Nikolova:
New Complexity Results and Algorithms for the Minimum Tollbooth Problem.
Smita Roy, Samrat Mondal, Asif Ekbal:
CRDT: Correlation Ratio Based Decision Tree Model for Healthcare Data Mining.
Frank Gurski, Jochen Rethmann, Egon Wanke:
Integer Programming Models and Parameterized Algorithms for Controlling Palletizers.
Xiao-Lei Zhang:
Universal Background Sparse Coding and Multilayer Bootstrap Network for Speaker Recognition.
Bruno U. Pedroni, Srinjoy Das, John V. Arthur, Paul Merolla, Bryan L. Jackson, Dharmendra S. Modha, Kenneth Kreutz-Delgado, Gert Cauwenberghs:
Mapping Generative Models onto Networks of Digital Spiking Neurons.
Ivan Vulic, Marie-Francine Moens:
Bilingual Distributed Word Representations from Document-Aligned Comparable Data.
Soumya Banerjee:
Analysis of a Planetary Scale Scientific Collaboration Dataset Reveals Novel Patterns.
Spandan Roy, Indra Narayan Kar:
Adaptive-Robust Control of a Class of Uncertain Nonlinear Systems Utilizing Time-Delayed Input and Position Feedback.
Timm Faulwasser, Milan Korda, Colin Neil Jones, Dominique Bonvin:
On Turnpike and Dissipativity Properties of Continuous-Time Optimal Control Problems.
Yong Niu, Chuhan Gao, Yong Li, Depeng Jin, Li Su, Dapeng Wu:
Boosting Spatial Reuse via Multiple Paths Multi-Hop Scheduling for Directional mmWave WPANs.
Gerardo Berbeglia, Gautam Rayaprolu, Adrian Vetta:
The Storable Good Monopoly Problem with Indivisible Demand.
Chaoping Xing, Chen Yuan:
A new class of rank-metric codes and their list decoding beyond the unique decoding radius.
Yong Niu, Li Su, Chuhan Gao, Yong Li, Depeng Jin, Zhu Han:
Exploiting Device-to-Device Communications to Enhance Spatial Reuse for Popular Content Downloading in Directional mmWave Small Cells.
Md. Abul Hasnat, Julien Velcin, Stéphane Bonnevay, Julien Jacques:
Opinion mining from twitter data using evolutionary multinomial mixture models.
Olivier Beaude, Cheng Wan, Samson Lasaulce:
Composite charging games in networks of electric vehicles.
Olivier Beaude, Samson Lasaulce, Martin Hennebel:
Charging Games in Networks of Electrical Vehicles.
Mujahid Sultan, Andriy V. Miranskyy:
Ordering stakeholder viewpoint concerns for holistic and incremental Enterprise Architecture: the W6H framework.
Eitan Zahavi, Alexander Shpiner, Ori Rottenstreich, Avinoam Kolodny, Isaac Keslassy:
Links as a Service (LaaS): Feeling Alone in the Shared Cloud.
Eunjung Kim, Christophe Paul, Ignasi Sau, Dimitrios M. Thilikos:
Parameterized Algorithms for Min-Max Multiway Cut and List Digraph Homomorphism.
Johannes Fischer, Tomohiro I, Dominik Köppl:
Deterministic Sparse Suffix Sorting on Rewritable Texts.
Craig Wilson, Venugopal V. Veeravalli:
Adaptive Sequential Optimization with Applications to Machine Learning.
Jennifer Gamble, Harish Chintakunta, Adam C. Wilkerson, Hamid Krim, Ananthram Swami:
Node Dominance: Revealing Community and Core-Periphery Structure in Social Networks.
Bart M. P. Jansen, Astrid Pieterse:
Sparsification Upper and Lower Bounds for Graph Problems and Not-All-Equal SAT.
Deepjyoti Deka, Sriram Vishwanath:
Structural Vulnerability of Power Grids to Disasters: Bounds, Adversarial Attacks and Reinforcement.
Yi Chen, Enyi Yao, Arindam Basu:
A 128 channel Extreme Learning Machine based Neural Decoder for Brain Machine Interfaces.
Sanjay Krishnan, Jiannan Wang, Michael J. Franklin, Ken Goldberg, Tim Kraska:
Stale View Cleaning: Getting Fresh Answers from Stale Materialized Views.
Saeid Haghighatshoar, Giuseppe Caire:
Channel Vector Subspace Estimation from Low-Dimensional Projections.
Yan-Yu Zhang, Hong-Yi Yu, Jian-Kang Zhang, Yi-Jun Zhu, Jin-Long Wang, Tao Wang:
Space Codes for MIMO Optical Wireless Communications: Error Performance Criterion and Code Construction.
Andreas Veit, Balazs Kovacs, Sean Bell, Julian McAuley, Kavita Bala, Serge J. Belongie:
Learning Visual Clothing Style with Heterogeneous Dyadic Co-occurrences.
Xi Chen, Igor Carboni Oliveira, Rocco A. Servedio, Li-Yang Tan:
Near-optimal small-depth lower bounds for small distance connectivity.
Michael J. Wilber, Iljung S. Kwak, David J. Kriegman, Serge J. Belongie:
Learning Concept Embeddings with Combined Human-Machine Expertise.
Zhiguang Wang, Tim Oates:
Spatially Encoding Temporal Correlations to Classify Temporal Data Using Convolutional Neural Networks.
Marco Antonio Valenzuela-Escárcega, Gus Hahn-Powell, Mihai Surdeanu:
Description of the Odin Event Extraction Framework and Rule Language.
Hossein Shokri Ghadikolaei, Carlo Fischione, Petar Popovski, Michele Zorzi:
Design Aspects of Short Range Millimeter Wave Networks: A MAC Layer Perspective.
Andreas Veit, Michael J. Wilber, Rajan Vaish, Serge J. Belongie, James Davis, Vishal Anand, Anshu Aviral, Prithvijit Chakrabarty, Yash Chandak, Sidharth Chaturvedi, Chinmaya Devaraj, Ankit Dhall, Utkarsh Dwivedi, Sanket Gupte, Sharath N. Sridhar, Karthik Paga, Anuj Pahuja, Aditya Raisinghani, Ayush Sharma, Shweta Sharma, Darpana Sinha, Nisarg Thakkar, K. Bala Vignesh, Utkarsh Verma, Kanniganti Abhishek, Amod Agrawal, Arya Aishwarya, Aurgho Bhattacharjee, Sarveshwaran Dhanasekar, Venkata Karthik Gullapalli, Shuchita Gupta, Chandana G, Kinjal Jain, Simran Kapur, Meghana Kasula, Shashi Kumar, Parth Kundaliya, Utkarsh Mathur, Alankrit Mishra, Aayush Mudgal, Aditya Nadimpalli, Munakala Sree Nihit, Akanksha Periwal, Ayush Sagar, Ayush Shah, Vikas Sharma, Yashovardhan Sharma, Faizal Siddiqui, Virender Singh, Abhinav S., Pradyumna Tambwekar, Rashida Taskin, Ankit Tripathi, Anurag D. Yadav:
On Optimizing Human-Machine Task Assignments.
Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe:
Formal Support for Standardizing Protocols with State.
Jonathan G. Ligo, George V. Moustakides, Venugopal V. Veeravalli:
Rate Analysis for Detection of Sparse Mixtures.
Vishesh Vikas, Paul Templeton, Barry Trimmer:
Design and control of a soft, shape-changing, crawling robot.
Jorge R. Vergara, Pablo A. Estévez:
A Review of Feature Selection Methods Based on Mutual Information.

Dmitry Chistikov, Szabolcs Iván, Anna Lubiw, Jeffrey Shallit:
Fractional coverings, greedy coverings, and rectifier networks.
Qiaoyang Ye, Ozgun Y. Bursalioglu, Haralabos C. Papadopoulos, Constantine Caramanis, Jeffrey G. Andrews:
User Association and Interference Management in Massive MIMO HetNets.
Valerio Capraro, Maria Polukarov, Matteo Venanzi, Nicholas R. Jennings:
Cooperative Equilibrium beyond Social Dilemmas: Pareto Solvable Games.
Yuya Higashikawa, Siu-Wing Cheng, Tsunehiko Kameda, Naoki Katoh, Shun Saburi:
Minimax Regret 1-Median Problem in Dynamic Path Networks.
Nils Haldenwang, Oliver Vornberger:
Sentiment Uncertainty and Spam in Twitter Streams and Its Implications for General Purpose Realtime Sentiment Analysis.
Jonghyun Lee, Keun Young Lee, Karpjoo Jeong, Meilan Jiang, Bomchul Kim, Suntae Hwang:
A Cyberinfrastructure-based Approach to Real Time Water Temperature Prediction.
Lok Wong, Shinji Shimojo, Yuuichi Teranishi, Tomoki Yoshihisa, Jason H. Haga:
Interactive Museum Exhibits with Microcontrollers: A Use-Case Scenario.
Hirokatsu Kataoka, Kenji Iwata, Yutaka Satoh:
Feature Evaluation of Deep Convolutional Neural Networks for Object Recognition and Detection.
Zhen Li, Jianjun Xu, Tingshao Zhu:
Prediction of Brain States of Concentration and Relaxation in Real Time with Portable Electroencephalographs.
Laura Rebollo-Neira, Gagan Aggarwal:
A dedicated greedy pursuit algorithm for sparse spectral modelling of music sound.
Boris Aronov, Matias Korman, Simon Pratt, André van Renssen, Marcel Roeloffzen:
Time-Space Trade-offs for Triangulating a Simple Polygon.
Rashid Mijumbi, Joan Serrat, Juan-Luis Gorricho, Niels Bouten, Filip De Turck, Raouf Boutaba:
Network Function Virtualization: State-of-the-art and Research Challenges.
Ken-ichi Kawarabayashi, Zhentao Li, Bruce A. Reed:
Connectivity Preserving Iterative Compaction and Finding 2 Disjoint Rooted Paths in Linear Time.
Rashid Mijumbi, Joan Serrat, Juan-Luis Gorricho, Raouf Boutaba:
A Path Generation Approach to Embedding of Virtual Networks.
Chiel B. Ten Brinke, Frank J. P. van Houten, Hans L. Bodlaender:
Practical Algorithms for Linear Boolean-width.

Adrien Richard:
Fixed points and connexions between positive and negative cycles in Boolean networks.
Pramod Kumar Kewat, Priti Kumari:
Cyclic codes from the first class two-prime Whiteman's generalized cyclotomic sequence with order 6.
Yixuan Li, Kun He, David Bindel, John E. Hopcroft:
Uncovering the Small Community Structure in Large Networks: A Local Spectral Approach.
Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou:
Online Stochastic Linear Optimization under One-bit Feedback.
Cheng-Shang Chang, Wanjiun Liao, Yu-Sheng Chen, Li-Heng Liou:
A Mathematical Theory for Clustering in Metric Spaces.
Soham Das, Kishaloy Halder, Sanjoy Pratihar, Partha Bhowmick:
Properties of Farey Sequence and their Applications to Digital Image Processing.
Xiaohan Wei, Michael J. Neely:
Delay Optimal Power Aware Opportunistic Scheduling with Mutual Information Accumulation.
Daniil Ryabko, Boris Ryabko:
Predicting the outcomes of every process for which an asymptotically accurate stationary predictor exists is impossible.

Elaine Levey, Thomas Rothvoss:
A Lasserre-based $(1+\varepsilon)$-approximation for $Pm \mid p_j=1, \textrm{prec} \mid C_{\max}$.
Kehinde R. Salau, Jacopo A. Baggio, Marco A. Janssen, Joshua K. Abbott, Eli P. Fenichel:
Taking a moment to measure Networks - A hierarchical approach.
Robert Escriva, Bernard Wong, Emin Gün Sirer:
Warp: Lightweight Multi-Key Transactions for Key-Value Stores.
Jaeyong Sung, Ian Lenz, Ashutosh Saxena:
Deep Multimodal Embedding: Manipulating Novel Objects with Point-clouds, Language and Trajectories.
Catalin Ionescu, Orestis Vantzos, Cristian Sminchisescu:
Training Deep Networks with Structured Layers by Matrix Backpropagation.
Bharat Singh, Xintong Han, Zhe Wu, Vlad I. Morariu, Larry S. Davis:
Selecting Relevant Web Trained Concepts for Automated Event Retrieval.
Mouhacine Benosman, Amir-massoud Farahmand, Meng Xia:
Learning-Based Modular Indirect Adaptive Control for a Class of Nonlinear Systems.
Alex Kantchelian, J. D. Tygar, Anthony D. Joseph:
Evasion and Hardening of Tree Ensemble Classifiers.
Ang Li, Radu Serban, Dan Negrut:
Analysis of A Splitting Approach for the Parallel Solution of Linear Systems on GPU Cards.
Manjesh Kumar Hanawal, Amir Leshem, Venkatesh Saligrama:
Algorithms for Linear Bandits on Polyhedral Sets.
Weidong Li, Xi Liu, Xiaolu Zhang, Xuejie Zhang:
A note on dynamic fair division of multiple resources.
Bo Song, Victor O. K. Li:
A Revisit of Infinite Population Models for Evolutionary Algorithms on Continuous Optimization Problems.
Jun Zhang, Urbashi Mitra, Kuan-Wen Huang, Nicolò Michelusi:
A new result of the scaling law of weighted L1 minimization.
Ti-Cao Zhang, Chao-Kai Wen, Shi Jin, Tao Jiang:
Mixed-ADC Massive MIMO Detectors: Performance Analysis and Design Optimization.
Yong Feng, Fei Chen, Rui Zeng, Jiasong Wu, Huazhong Shu:
Error Gradient-based Variable-Lp Norm Constraint LMS Algorithm for Sparse System Identification.
Yunpeng Wang, Walid Saad, Narayan B. Mandayam, H. Vincent Poor:
Load Shifting in the Smart Grid: To Participate or Not?
Takuya Ikeda, Masaaki Nagahara, Shunsuke Ono:
Discrete-Valued Control by Sum-of-Absolute-Values Optimization.
Yogesh A. Girdhar, Gregory Dudek:
Modeling Curiosity in a Mobile Robot for Long-Term Autonomous Exploration and Monitoring.
Yogesh A. Girdhar, Walter Cho, Matthew Campbell, Jesus Pineda, Elizabeth Clarke, Hanumant Singh:
Anomaly Detection in Unstructured Environments using Bayesian Nonparametric Scene Modeling.
Takayuki Iguchi, Dustin G. Mixon, Jesse Peterson, Soledad Villar:
Probably certifiably correct k-means clustering.
Nitin Singha, Ruchir Gupta, Yatindra Nath Singh:
Reputation Management in Peer-to-Peer Networks: A Control-Theoretical Perspective.
Yixuan Li, Kun He, David Bindel, John E. Hopcroft:
Overlapping Community Detection via Local Spectral Clustering.
Fanzhao Wang, Lei Guo, Shiqiang Wang, Qingyang Song, Abbas Jamalipour:
Approaching Single-Hop Performance in Multi-Hop Networks: End-To-End Known-Interference Cancellation (E2E-KIC).
Timothy J. Armstrong:
Avoiding Contradictions in the Paradoxes, the Halting Problem, and Diagonalization.
Nicolò Michelusi, Petar Popovski, Michele Zorzi:
Cognitive Access-Transmission Policies under a Primary ARQ process via Chain Decoding.
Takahiro Kawabe, Taiki Fukiage, Masataka Sawayama, Shin'ya Nishida:
Deformation Lamps: A Projection Technique to Make a Static Object Dynamic.
Wentao Zhu, Jun Miao, Laiyun Qing, Xilin Chen:
Deep Trans-layer Unsupervised Networks for Representation Learning.
Yong Niu, Chuhan Gao, Yong Li, Li Su, Depeng Jin:
Exploiting Multi-Hop Relaying to Overcome Blockage in Directional mmWave Small Cells.
Yong Niu, Chuhan Gao, Yong Li, Li Su, Depeng Jin:
Energy Efficient Scheduling for mmWave Backhauling of Small Cells in Heterogeneous Cellular Networks.
Kun Zhang, Biwei Huang, Bernhard Schölkopf, Michel Besserve, Masataka Watanabe, Dajiang Zhu:
Towards Robust and Specific Causal Discovery from fMRI.
Georg Heigold, Ignacio Moreno, Samy Bengio, Noam Shazeer:
End-to-End Text-Dependent Speaker Verification.
Kun He, Yiwei Sun, David Bindel, John E. Hopcroft, Yixuan Li:
Detecting Overlapping Communities from Local Spectral Subspaces.

Hao-Min Lin, Hsin-Mu Tsai, Mate Boban:
Scooter-to-X Communications: Antenna Placement, Human Body Shadowing, and Channel Modeling.
Hamid Izadinia, Fereshteh Sadeghi, Santosh Kumar Divvala, Yejin Choi, Ali Farhadi:
Segment-Phrase Table for Semantic Segmentation, Visual Entailment and Paraphrasing.

Arvind Kumar, Adarsh Anand, Pankaj Kumar Garg, Mohini Agarwal:
Optimal Release Time Decision from Fuzzy Mathematical Programming Perspective.
Noam Hazon, Mira Gonen, Max Kleb:
Approximation and Heuristic Algorithms for Probabilistic Physical Search on General Graphs.
Pinghui Wang, Jing Tao, Junzhou Zhao, Xiaohong Guan:
Moss: A Scalable Tool for Efficiently Sampling and Counting 4- and 5-Node Graphlets.
Paul Farrow, Martin J. Reed, Maciej Glowiak, Joe Mambretti:
Transcoder Migration For Real Time Video Streaming Systems.



Phool Preet, Sanjit Singh Batra, Jayadeva:
Feature Selection for classification of hyperspectral data by minimizing a tight bound on the VC dimension.
Gautier Marti, Frank Nielsen, Philippe Donnat:
Optimal Copula Transport for Clustering Multivariate Time Series.
Abhishek Kar, Shubham Tulsiani, João Carreira, Jitendra Malik:
Amodal Completion and Size Constancy in Natural Scenes.
Beipeng Mu, Liam Paull, Ali-akbar Agha-mohammadi, John J. Leonard, Jonathan P. How:
Information-based Active SLAM via Topological Feature Graphs.
Nathalie Bertrand, Mirco Tribastone:
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. EPTCS 194, 2015 [contents]

Abhishek Sinha, Pradeepkumar Mani, Jie Liu, Ashley Flavel, David A. Maltz:
Distributed Load Management in Anycast-based CDNs.
Xuan Luo, Xuejiao Bai, Shuo Li, Hongtao Lu, Sei-ichiro Kamata:
Fast Non-local Stereo Matching based on Hierarchical Disparity Prediction.
Niharika Sachdeva, Ponnurangam Kumaraguru:
Characterising Behavior and Emotions on Social Media for Safety: Exploring Online Communication between Police and Citizens.
William Kuszmaul:
Fast Algorithms for Finding Pattern Avoiders and Counting Pattern Occurrences in Permutations.

Mohanad Albayati, Biju Issac:
Analysis of Intelligent Classifiers and Enhancing the Detection Accuracy for Intrusion Detection System.
Gerth Stølting Brodal:
External Memory Three-Sided Range Reporting and Top-$k$ Queries with Sublogarithmic Updates.
Christoph Berkholz, Paul S. Bonsma, Martin Grohe:
Tight Lower and Upper Bounds for the Complexity of Canonical Colour Refinement.
Laura Luzzi, Roope Vehkalahti, Alexander Gorodnik:
Towards a complete DMT classification of division algebra codes.
Fergal Byrne:
Encoding Reality: Prediction-Assisted Cortical Learning Algorithm in Hierarchical Temporal Memory.
Zhen Li, Jianjun Xu, Tingshao Zhu:
Recognition of Brain Waves of Left and Right Hand Movement Imagery with Portable Electroencephalographs.
Sanket S. Kalamkar, Adrish Banerjee:
Secure Communication Via a Wireless Energy Harvesting Untrusted Relay.
Nandini Singhal, Sathya Peri, Subrahmanyam Kalyanasundaram:
Multi-threaded Graph Coloring Algorithm in Shared Memory Architecture.
Stephan Friedrichs, Michael Hemmer, Christiane Schmidt:
The Continuous 1.5D Terrain Guarding Problem: Discretization, Optimal Solutions, and PTAS.
Pablo Jensen, Matteo Morini, Márton Karsai, Tommaso Venturini, Alessandro Vespignani, Mathieu Jacomy, Jean-Philippe Cointet, Pierre Mercklé, Eric Fleury:
Detecting global bridges in networks.
Amitalok J. Budkuley, Bikash Kumar Dey, Vinod M. Prabhakaran:
Communication in the Presence of a State-Aware Adversary.
Mahdi Parvizi, Elham Shadkam, Niloofar Jahani:
A hybrid COA$ε$-constraint method for solving multi-objective problems.
Elif Tugce Ceran, Tugce Erkilic, Elif Uysal-Biyikoglu, Tolga Girici, Kemal Leblebicioglu:
Optimal Energy Allocation Policies for a High Altitude Flying Wireless Access Point.
Elisabeth de Carvalho, Emil Björnson, Erik G. Larsson, Petar Popovski:
Random Access for Massive MIMO Systems with Intra-Cell Pilot Contamination.
Fang Yuan:
Tucker Decomposition For Rotated Codebook in 3D MIMO System Under Spatially Correlated Channel.
Alessio Zappone, Bho Matthiesen, Eduard A. Jorswieck:
Energy Efficiency in MIMO Underlay and Overlay Device-to-Device Communications and Cognitive Radio Systems.
Abhaykumar Kumbhar, Farshad Koohifar, Ismail Güvenç, Bruce Mueller:
A Survey on Legacy and Emerging Technologies for Public Safety Communications.
J. M. Landsberg, Nicholas Ryder:
On the geometry of border rank algorithms for n x 2 by 2 x 2 matrix multiplication.
Alberto N. Escalante-B., Laurenz Wiskott:
Theoretical Analysis of the Optimal Free Responses of Graph-Based SFA for the Design of Training Graphs.
Xiaobin Gao, Emrah Akyol, Tamer Basar:
Optimal Estimation with Limited Measurements and Noisy Communication.
Pedro O. Pereira, Dimitris Boskos, Dimos V. Dimarogonas:
A Common Framework for Attitude Synchronization of Unit Vectors in Networks with Switching Topology.
SayedJalil Modares Najafabadi, Nicholas Mastronarde, Michael J. Medley, John D. Matyjas:
UB-ANC: An Open Platform Testbed for Software-Defined Airborne Networking and Communications.
Utkarsh R. Patel, Piero Triverio:
Skin Effect Modeling in Conductors of Arbitrary Shape Through a Surface Admittance Operator and the Contour Integral Method.
Ivano Notarnicola, Giuseppe Notarstefano:
Asynchronous Distributed Optimization via Randomized Dual Proximal Gradient.
Yang Lu, Song-Chun Zhu, Ying Nian Wu:
Learning FRAME Models Using CNN Filters for Knowledge Visualization.
Ang Li, Feng Tang, Yanwen Guo, Hai Tao:
Efficient Discriminative Nonorthogonal Binary Subspace with its Application to Visual Tracking.
Chawanat Nakasan, Kohei Ichikawa, Hajimu Iida, Putchong Uthayopas:
A Simple Multipath OpenFlow Controller using topology-based algorithm for Multipath TCP.
Jai Manral, Mohammed Alamgir Hossain:
An Innovative Approach for online Meta Search Engine Optimization.
Zheng Li, Liam O'Brien, Ye Yang:
The more Product Complexity, the more Actual Effort? An Empirical Investigation into Software Developments.
Kohei Ichikawa, Maurício O. Tsugawa, Jason H. Haga, Hiroaki Yamanaka, Te-Lung Liu, Yoshiyuki Kido, Pongsakorn U.-Chupala, Che Huang, Chawanat Nakasan, Jo-Yu Chang, Li-Chi Ku, Whey-Fone Tsai, Susumu Date, Shinji Shimojo, Philip M. Papadopoulos, José A. B. Fortes:
PRAGMA-ENT: Exposing SDN Concepts to Domain Scientists in the Pacific Rim.

Ayush Dubey, Greg D. Hill, Robert Escriva, Emin Gün Sirer:
Weaver: A High-Performance, Transactional Graph Store Based on Refinable Timestamps.
Cheng Qian, Nicholas D. Sidiropoulos, Kejun Huang, Lei Huang, Hing-Cheung So:
Phase Retrieval Using Feasible Point Pursuit: Algorithms and Cramér-Rao Bound.
Pedro O. S. Vaz de Melo:
How Many Political Parties Should Brazil Have? A Data-driven Method to Assess and Reduce Fragmentation in Multi-Party Political Systems.
Xiaohan Wei, Qing Ling, Zhu Han:
Recoverability of Group Sparse Signals from Corrupted Measurements via Robust Group Lasso.
Olivier Beaude, Yujun He, Martin Hennebel:
Introducing Decentralized EV Charging Coordination for the Voltage Regulation.
Annabel Sharon Shitrit, Yonathan Murin, Ron Dabora, Osnat Keren:
A New Approach to UEP-HARQ via Convolutional Codes.
Alessandro Aldini, Marco Bernardo:
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. 1-15
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. 16-31
Luca Bortolussi, Jane Hillston:
Efficient Checking of Individual Rewards Properties in Markov Population Models. 32-47
Yusuke Kawamoto, Thomas Given-Wilson:
Quantitative Information Flow for Scheduler-Dependent Systems. 48-62
Diego Latella, Mieke Massink, Erik P. de Vink:
A Definition Scheme for Quantitative Bisimulation. 63-78
Matias David Lee, Erik P. de Vink:
Rooted branching bisimulation as a congruence for probabilistic transition systems. 79-94
Fabio Martinelli, Ilaria Matteucci, Francesco Santini:
Semiring-based Specification Approaches for Quantitative Security. 95-109
Payam Delgosha, Amin Aminzadeh Gohari, Mohammad Akbarpour:
High Probability Guarantees in Repeated Games: Theory and Applications in Information Theory.
Giacomo Como, Fabio Fagnani:
From local averaging to emergent global behaviors: the fundamental role of network interconnections.
Björn Engelmann, Ernst-Rüdiger Olderog:
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -.
Sharma V. Thankachan, Manish Patil, Rahul Shah, Sudip Biswas:
Probabilistic Threshold Indexing for Uncertain Strings.
Britta Dorn, Dominikus Krüger, Patrick Scharpfenecker:
Often harder than in the Constructive Case: Destructive Bribery in CP-nets.
Takayuki Osogami, Makoto Otsuka:
Learning dynamic Boltzmann machines with spike-timing dependent plasticity.
Krzysztof Wolk, Krzysztof Marasek:
Tuned and GPU-accelerated parallel data mining from comparable corpora.
Krzysztof Wolk, Krzysztof Marasek:
Neural-based machine translation for medical text domain. Based on European Medicines Agency leaflet texts.
Eduardo Marques Pereira, Jaime S. Cardoso, Ricardo Morla:
Long-Range Trajectories from Global and Local Motion Representations.
Milosh Stolikj, Thomas M. M. Meyfroyt, Pieter J. L. Cuijpers, Johan J. Lukkien:
Improving the Performance of Trickle-Based Data Dissemination in Low-Power Networks.
Xiangming Meng, Sheng Wu, Linling Kuang, Jianhua Lu:
Concise Derivation of Complex Bayesian Approximate Message Passing via Expectation Propagation.
Jesus Fernandez-Bes, Rocio Arroyo-Valles, Jerónimo Arenas-García, Jesús Cid-Sueiro:
Censoring Diffusion for Harvesting WSNs.
Thomas M. M. Meyfroyt, Milosh Stolikj, Johan J. Lukkien:
Adaptive Broadcast Suppression for Trickle-Based Protocols.
Thomas M. M. Meyfroyt, Sem C. Borst, Onno J. Boxma, Dee Denteneer:
On the Scalability and Message Count of Trickle-based Broadcasting Schemes.
Pushpendra Singh:
LINOEP vectors, spiral of Theodorus, and nonlinear time-invariant system models of mode decomposition.
Zijia Li, Josef Schicho, Hans-Peter Schröcker:
Kempe's Universality Theorem for Rational Space Curves.
Mendes Oulamara, Arnaud Venet:
Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation.
Roberto Marazzato, Amelia Carolina Sparavigna:
Retinex filtering of foggy images: generation of a bulk set with selection and ranking.
Nourhène Alaya, Sadok Ben Yahia, Myriam Lamolle:
Towards Unveiling the Ontology Key Features Altering Reasoner Performances.
K. Eswaran:
A non iterative method of separation of points by planes in n dimensions and its application.



Quang Minh Ha, Yves Deville, Quang-Dung Pham, Minh Hoàng Hà:
Heuristic methods for the Traveling Salesman Problem with Drone.
Gabriel Martins Dias, Boris Bellalta, Simon Oechsner:
Reducing the energy consumption in WSNs: A data scientific mechanism.
Robert Nagler, David L. Bruhwiler, Paul Moeller, Stephen Webb:
Sustainability and Reproducibility via Containerized Computing.
Sergio Consoli, José Andrés Moreno-Pérez:
An intelligent extension of Variable Neighbourhood Search for labelling graph problems.
Anders Hval Olsen:
The Evolution of eSports: An Analysis of its origin and a look at its prospective future growth as enhanced by Information Technology Management tools.
Zoha Pajouhi, Xuanyao Fong, Anand Raghunathan, Kaushik Roy:
Yield, Area and Energy Optimization in Stt-MRAMs using failure aware ECC.
N. R. Aravind, R. B. Sandeep, Naveen Sivadasan:
Parameterized Lower Bounds and Dichotomy Results for the NP-completeness of $H$-free Edge Modification Problems.
Xiang Huang, Donald M. Stull:
Polynomial Space Randomness in Analysis with Application to the Lebesgue Differentiation Theorem.
Michail I. Schlesinger, Evgeniy Vodolazskiy:
How to Formulate and Solve Statistical Recognition and Learning Problems.
Fred Buchali, Georg Böcherer, Wilfried Idler, Laurent Schmalen, Patrick Schulte, Fabian Steiner:
Experimental Demonstration of Capacity Increase and Rate-Adaptation by Probabilistically Shaped 64-QAM.

Pooya Monshizadeh, Claudio De Persis, Nima Monshizadeh, Arjan van der Schaft:
A Communication-Free Master-Slave Microgrid with Power Sharing.
Foto N. Afrati, Shantanu Sharma, Jeffrey D. Ullman, Jonathan R. Ullman:
Computing Marginals Using MapReduce.
Nicolas Tremblay, Gilles Puy, Pierre Borgnat, Rémi Gribonval, Pierre Vandergheynst:
Accelerated Spectral Clustering Using Graph Filtering Of Random Signals.
Krzysztof Wolk, Krzysztof Marasek:
Polish - English Speech Statistical Machine Translation Systems for the IWSLT 2014.
Krzysztof Wolk, Krzysztof Marasek:
Building Subject-aligned Comparable Corpora and Mining it for Truly Parallel Sentence Pairs.
Hamid Reza Hassanzadeh, John H. Phan, May D. Wang:
A Semi-Supervised Method for Predicting Cancer Survival Using Incomplete Clinical Data.

Gaurav Sharma, Bernt Schiele:
Scalable Nonlinear Embeddings for Semantic Category-based Image Retrieval.
Krzysztof Wolk, Krzysztof Marasek:
Polish -English Statistical Machine Translation of Medical Texts.
Nikos Bikakis, Karim Benouaret, Dimitris Sacharidis:
Finding Desirable Objects under Group Categorical Preferences.
Kensworth Subratie, Saumitra Aditya, Renato Figueiredo, Cayelan C. Carey, Paul C. Hanson:
GRAPLEr: A Distributed Collaborative Environment for Lake Ecosystem Modeling that Integrates Overlay Networks, High-throughput Computing, and Web Services.
Tom Sercu, Christian Puhrsch, Brian Kingsbury, Yann LeCun:
Very Deep Multilingual Convolutional Neural Networks for LVCSR.
Suren Vagharshakyan, Robert Bregovic, Atanas P. Gotchev:
Light Field Reconstruction Using Shearlet Transform.
Priyadarshini Panda, Abhronil Sengupta, Swagath Venkataramani, Anand Raghunathan, Kaushik Roy:
Object Detection using Semantic Decomposition for Energy-Efficient Neural Computing.
Priyadarshini Panda, Abhronil Sengupta, Kaushik Roy:
Conditional Deep Learning for Energy-Efficient and Enhanced Pattern Recognition.
Arash Ardakani, François Leduc-Primeau, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross:
VLSI Implementation of Deep Neural Network Using Integral Stochastic Computing.
Tadahiro Taniguchi, Takayuki Nagai, Tomoaki Nakamura, Naoto Iwahashi, Tetsuya Ogata, Hideki Asoh:
Symbol Emergence in Robotics: A Survey.
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
Node Selection Query Languages for Trees.

Mohammad Ramezanali, Partha P. Mitra, Anirvan M. Sengupta:
Critical behavior and universality classes for an algorithmic phase transition in sparse reconstruction.
Rofael Emil Fayez Behnam:
Stats-Calculus Pose Descriptor Feeding A Discrete HMM Low-latency Detection and Recognition System For 3D Skeletal Actions.
Ayan Das, Sourangshu Bhattacharya:
Distributed Weighted Parameter Averaging for SVM Training on Big Data.
Stephan Friedrichs, Christoph Lenzen:
Parallel Metric Tree Embedding based on an Algebraic View on Moore-Bellman-Ford.
Murad Kablan, Carlee Joe-Wong, Sangtae Ha, Hani Jamjoom, Eric Keller:
The Cloud Needs a Reputation System.
Sheng Wu, Linling Kuang, Defeng Huang, Zuyao Ni, Qinghua Guo, Jianhua Lu:
Message-Passing Receiver for Joint Channel Estimation and Decoding in Broadband Massive MIMO Systems.
Murad Kablan, Hani Jamjoom, Eric Keller:
Quality of Consumption: The Friendlier Side of Quality of Service.
Frédérick Bénaben, Nicolas Boissel-Dallier, Hervé Pingaud, Jean-Pierre Lorré:
Semantic issues in model-driven management of information system interoperability.
Yanwei Pang, Li Ye, Xuelong Li, Jing Pan:
Moving Object Detection in Video Using Saliency Map and Subspace Learning.
David Monniaux, Laure Gonnord:
An encoding of array verification problems into array-free Horn clauses.
Krzysztof Wolk, Krzysztof Marasek:
A Sentence Meaning Based Alignment Method for Parallel Text Corpora Preparation.
Krzysztof Wolk, Krzysztof Marasek:
Polish - English Speech Statistical Machine Translation Systems for the IWSLT 2013.

Md Izhar Ashraf, Sitabhra Sinha:
The "handedness" of language: Directional symmetry breaking of sign usage in words.
Alexandros Nikou, Jana Tumova, Dimos V. Dimarogonas:
Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications.
Yun Kuen Cheung, Monika Henzinger, Martin Hoefer, Martin Starnberger:
Combinatorial Auctions with Conflict-Based Externalities.
Frédérick Bénaben, Vatcharaphun Rajsiri, Jean-Pierre Lorré, Hervé Pingaud:
Knowledge-based system for collaborative process specification.
Frédérick Bénaben, Wenxin Mu, Nicolas Boissel-Dallier, Anne-Marie Barthe-Delanoë, Sarah Zribi, Hervé Pingaud:
Supporting interoperability of collaborative networks through engineering of a service-based Mediation Information System (MISE 2.0).
Frédérick Bénaben, Anne-Marie Barthe-Delanoë, Sébastien Truptil, Hervé Pingaud:
Event-driven agility of interoperability during the Run-time of collaborative processes.
Vinay Chakravarthi Gogineni, Mrityunjoy Chakraborty:
Distributed Multi-task APA over Adaptive Networks Based on Partial Diffusion.
Nuno Fachada, Vitor V. Lopes, Rui Costa Martins, Agostinho C. Rosa:
Model-independent comparison of simulation output.


Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita:
Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space.


Malte Probst:
Generative Adversarial Networks in Estimation of Distribution Algorithms for Combinatorial Optimization.
Nicolas Gillis, Stephen A. Vavasis:
On the Complexity of Robust PCA and ℓ1-norm Low-Rank Matrix Approximation.
Pawel Gawrychowski, Tomohiro I, Shunsuke Inenaga, Dominik Köppl, Florin Manea:
Efficiently Finding All Maximal $α$-gapped Repeats.
Yuan Wu, Yanfei He, Liping Qian, Jianwei Huang, Xuemin Shen:
Joint Scheduling and Power Allocations for Traffic Offloading via Dual-Connectivity.
Yuan Zhou, Anand Rangarajan, Paul D. Gader:
A spatial compositional model (SCM) for linear unmixing and endmember uncertainty estimation.
Massoud Mokhtarpour Ghahroodi, Mark Zwolinski:
In-Field Logic Repair of Deep Sub-Micron CMOS Processors.

Shanying Zhu, Yeng Chai Soh, Lihua Xie:
Distributed Inference for Relay-Assisted Sensor Networks With Intermittent Measurements Over Fading Channels.
David K. Duvenaud, Dougal Maclaurin, Jorge Aguilera-Iparraguirre, Rafael Gómez-Bombarelli, Timothy Hirzel, Alán Aspuru-Guzik, Ryan P. Adams:
Convolutional Networks on Graphs for Learning Molecular Fingerprints.
Armin Mustafa, Hansung Kim, Jean-Yves Guillemaut, Adrian Hilton:
General Dynamic Scene Reconstruction from Multiple View Video.
Sergey D. Andreev, Olga Galinina, Alexander Pyattaev, Mikhail Gerasimenko, Tuomas Tirronen, Johan Torsner, Joachim Sachs, Mischa Dohler, Yevgeni Koucheryavy:
Understanding the IoT Connectivity Landscape: A Contemporary M2M Radio Technology Roadmap.
Ramakrishnan Kannan, Grey Ballard, Haesun Park:
A High-Performance Parallel Algorithm for Nonnegative Matrix Factorization.
Kanchan Sarkar, S. P. Bhattacharyya:
Pure and Hybrid Evolutionary Computing in Global Optimization of Chemical Structures: from Atoms and Molecules to Clusters and Crystals.
Saeed Salehi:
Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally.
Eun Lee, Petter Holme:
Impact of mobility structure on the optimization of small-world networks of mobile agents.
Iasson Karafyllis, Maria Kontorinaki, Markos Papageorgiou:
Robust Global Adaptive Exponential Stabilization of Discrete-Time Systems with Application to Freeway Traffic Control.
Jesús Gómez-Gardeñes, Manlio De Domenico, Gerardo Gutiérrez, Alex Arenas, Sergio Gómez:
Layer-layer competition in multiplex complex networks.
Adam D. Bookatz, Martin Roetteler, Pawel Wocjan:
Improved bounded-strength decoupling schemes for local Hamiltonians.
Mahdi Gorjestani, Elham Shadkam, Mehdi Parvizi, Sajedeh Aminzadegan:
A hybrid COA-DEA method for solving multi-objective problems.
Ky Khac Vu, Pierre-Louis Poirion, Leo Liberti:
Gaussian random projections for Euclidean membership problems.
Gang Li, Tao Wang, Ming-Yong Ye, He-Shan Song:
Weak measurement combined with quantum delayed-choice experiment and implementation in optomechanical system.

Johan Thunberg, Florian Bernard, Jorge M. Gonçalves:
On Transitive Consistency for Linear Invertible Transformations between Euclidean Coordinate Systems.


Pengwen Chen, Albert Fannjiang:
Fourier Phase Retrieval with a Single Mask by Douglas-Rachford Algorithm.
Yohei Kondo, Kohei Hayashi, Shin-ichi Maeda:
Bayesian Masking: Sparse Bayesian Estimation with Weaker Shrinkage Bias.
Zdenek Dvorak, Daniel Král, Robin Thomas:
Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations.
Andreas C. Damianou, Neil D. Lawrence:
Semi-described and semi-supervised learning with Gaussian processes.
Erika Fille T. Legara, Christopher P. Monterola:
Inferring Passenger Type from Commuter Eigentravel Matrices.
Manfred Opper, Burak Çakmak, Ole Winther:
A Theory of Solving TAP Equations for Ising Models with General Invariant Random Matrices.
Manuel Sebastian Mariani, Matús Medo, Yi-Cheng Zhang:
Ranking nodes in growing networks: When PageRank fails.
Matús Medo, Manuel Sebastian Mariani, An Zeng, Yi-Cheng Zhang:
Identification and modeling of discoverers in online social systems.
Nathaniel Rodriguez, Johan Bollen, Yong-Yeol Ahn:
Collective dynamics of belief evolution under cognitive coherence and social conformity.
David P. Hofmeyr, Nicos G. Pavlidis, Idris A. Eckley:
Minimum Spectral Connectivity Projection Pursuit for Unsupervised Classification.
Andreas Kreienbuehl, Pietro Benedusi, Daniel Ruprecht, Rolf Krause:
Time parallel gravitational collapse simulation.
Umut Simsekli, Hazal Koptagel, Figen Öztoprak, S. Ilker Birbil, Ali Taylan Cemgil:
HAMSI: Distributed Incremental Optimization Algorithm Using Quadratic Approximations for Partially Separable Problems.
Alexander Michael Petersen:
Quantifying the impact of weak, strong, and super ties in scientific careers.
Gaurav Pandey, Ambedkar Dukkipati:
Hierarchical Completely Random Measures for Mixed Membership Modelling.
Sophie Hautphenne, Gautier Krings, Jean-Charles Delvenne, Vincent D. Blondel:
Sensitivity analysis of a branching process evolving on a network with application in epidemiology.
Ian R. Petersen, Elanor H. Huntington:
A Possible Implementation of a Direct Coupling Coherent Quantum Observer.
Alexey Gribovskiy, Francesco Mondada, Jean-Louis Deneubourg, Leo Cazenille, Nicolas Bredèche, José Halloy:
Automated Analysis of Behavioural Variability and Filial Imprinting of Chicks (G. gallus), using Autonomous Robots.

Olivier Guédon, Alexander E. Litvak, Alain Pajor, Nicole Tomczak-Jaegermann:
On the interval of fluctuation of the singular values of random matrices.
Xiangru Xu, Necmiye Ozay, Vijay Gupta:
Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach.
J. Frederico Carvalho, Sergio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, George J. Pappas:
Static Output Feedback: On Essential Feasible Information Patterns.
Victor A. Campos, Ricardo C. Corrêa, Diego Delle Donne, Javier Marenco, Annegret Wagler:
Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation.
Will Dison, Eduard Einstein, Timothy R. Riley:
Taming the hydra: the word problem and extreme integer compression.

Onvaree Techakesari, Hendra Ishwara Nurdin:
Error Bounds on Finite-Dimensional Approximations of Input-Output Open Quantum Systems.
Christoph Lehrenfeld:
High order unfitted finite element methods on level set domains using isoparametric mappings.
Jordan Greenblatt:
Dimensionally Exponential Lower Bounds on the $L^p$ Norms of the Spherical Maximal Operator for Cartesian Powers of Finite Trees and Related Graphs.


Beate Franke, Jean-François Plante, Ribana Roscher, Annie Lee, Cathal Smyth, Armin Hatefi, Fuqi Chen, Einat Gil, Alexander G. Schwing, Alessandro Selvitella, Michael M. Hoffman, Roger Grosse, Dieter Hendricks, Nancy Reid:
Statistical Inference, Learning and Models in Big Data.
Edward Eaton, Fang Song:
Making Existential-Unforgeable Signatures Strongly Unforgeable in the Quantum Random-Oracle Model.

Yudong Chen, Martin J. Wainwright:
Fast low-rank estimation by projected gradient descent: General statistical and algorithmic guarantees.
Khaled Alshehri, Ji Liu, Xudong Chen, Tamer Basar:
A Stackelberg Game for Multi-Period Demand Response Management in the Smart Grid.
Sébastien Bubeck, Shirshendu Ganguly:
Entropic CLT and phase transition in high-dimensional Wishart matrices.
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks.
Anna L. Smith, Catherine A. Calder, Christopher R. Browning:
Empirical Reference Distributions for Networks of Different Size.


Wei Wang, Ming Tang, Panpan Shu, Zhen Wang:
Dynamics of social contagions with heterogeneous adoption thresholds: Crossover phenomena in phase transition.
Yanqing Hu, Shenggong Ji, Ling Feng, Yuliang Jin:
Quantify and Maximise Global Viral Influence Through Local Network Information.
Daniela Lera, Yaroslav D. Sergeyev:
Deterministic global optimization using space-filling curves and multiple estimates of Lipschitz and Holder constants.
Mathew P. Abraham, Ankur A. Kulkarni:
New Results on the Existence of Open Loop Nash Equilibria in Discrete Time Dynamic Games.



Srinadh Bhojanapalli, Anastasios Kyrillidis, Sujay Sanghavi:
Dropping Convexity for Faster Semi-definite Optimization.
Rafael A. Barrio, Tzipe Govezensky, Robin Dunbar, Gerardo Iñiguez, Kimmo Kaski:
Dynamics of deceptive interactions in social networks.
Pablo Escandell-Montero, Milena Chermisi, José María Martínez-Martínez, Juan Gómez-Sanchís, Carlo Barbieri, Emilio Soria-Olivas, Flavio Mari, Joan Vila-Francés, Andrea Stopper, Emanuele Gatti, José David Martín-Guerrero:
Optimization of anemia treatment in hemodialysis patients via reinforcement learning.
Manuel Wüthrich, Cristina Garcia Cifuentes, Sebastian Trimpe, Stefan Schaal:
Robust Gaussian Filtering.
Fabrizio Dabbene, Didier Henrion, Constantino Lagoa:
Simple Approximations of Semialgebraic Sets and their Applications to Control.
Suyog Gupta, Wei Zhang, Josh Milthorpe:
Model Accuracy and Runtime Tradeoff in Distributed Deep Learning.
Klaus Jaffe:
Agent based simulations visualize Adam Smith's invisible hand by solving Friedrich Hayek's Economic Calculus.
Irfan Ahmed, Arif Bhatti:
Design and Implementation of Performance Metrics for Evaluation of Assessments Data.
Stella Civelli, Luigi Barletti, Marco Secondini:
Numerical Methods for the Inverse Nonlinear Fourier Transform.
Artemy Kolchinsky, Alexander J. Gates, Luis Mateus Rocha:
Modularity and the Spread of Perturbations in Complex Dynamical Systems.
Suriya Gunasekar, Pradeep Ravikumar, Joydeep Ghosh:
Exponential Family Matrix Completion under Structural Constraints.
Yaroslav D. Sergeyev, Dmitri E. Kvasov:
A deterministic global optimization using smooth diagonal auxiliary functions.

Joshua A. Anderson, M. Eric Irrgang, Sharon C. Glotzer:
Scalable Metropolis Monte Carlo for simulation of hard shapes.
Xiang Wang, Ronald D. Haynes, Qihong Feng:
Well Control Optimization using Derivative-Free Algorithms and a Multiscale Approach.
Taylor Ball, Robert W. Bell, Jonathan Guzman, Madeleine Hanson-Colvin, Nikolas Schonsheck:
On the cop number of generalized Petersen graphs.
Albert Solé-Ribalta, Clara Granell, Sergio Gómez, Alex Arenas:
Information transfer in community structured multiplex networks.
Markus Grassl, Masaaki Harada:
New self-dual additive $\mathbb{F}_4$-codes constructed from circulant graphs.
Balázs Gerencsér, Christophe Cloquet, Vincent D. Blondel:
Markov modeling of Twitter tweet inter-arrival times.
Pooya Ronagh, Brad Woods, Ehsan Iranmanesh:
Solving constrained quadratic binary problems via quantum adiabatic evolution.
Ramón Escobedo, Aitziber Ibañez, Enrique Zuazua:
Optimal strategies for driving a mobile agent in a guidance by repulsion model.
Valery Vilisov:
Modeling Concordances of Company's Investment Directions With Its Market Attraction.


Nathan Kallus, Madeleine Udell:
Learning Preferences from Assortment Choices in a Heterogeneous Population.
Irineo Cabreros, Emmanuel Abbe, Aristotelis Tsirigos:
Detecting Community Structures in Hi-C Genomic Data.
Assaf Hallak, Aviv Tamar, Rémi Munos, Shie Mannor:
Generalized Emphatic Temporal Difference Learning: Bias-Variance Analysis.
Christos Nicolaides, Ruben Juanes, Luis Cueto-Felgueroso:
Self-organization of network dynamics into local quantized states.
Hoang Thanh Lam, Ernesto Diaz-Aviles, Alessandra Pascale, Yiannis Gkoufas, Bei Chen:
(Blue) Taxi Destination and Trip Time Prediction from Partial Trajectories.
Richard W. Kenyon, Charles Radin, Kui Ren, Lorenzo Sadun:
Bipodal structure in oversaturated random graphs.
Gautier Marti, Philippe Very, Philippe Donnat, Frank Nielsen:
A proposal of a methodological framework with experimental guidelines to investigate clustering stability on financial time series.
Farhad Farokhi, Michael Cantoni, Iman Shames:
Scheduling Rigid Demands on Continuous-Time Linear Shift-Invariant Systems.
Farhad Farokhi, Iman Shames, Michael G. Rabbat, Mikael Johansson:
On Reconstructability of Quadratic Utility Functions from the Iterations in Gradient Methods.
Onvaree Techakesari, Hendra Ishwara Nurdin:
Tangential Interpolatory Projection for Model Reduction of Linear Quantum Stochastic Systems.
Hendra Ishwara Nurdin, Symeon Grivopoulos, Ian R. Petersen:
The Transfer Function of Generic Linear Quantum Stochastic Systems Has a Pure Cascade Realization.


Edward J. Fuselier, Varun Shankar, Grady B. Wright:
A High-Order Radial Basis Function (RBF) Leray Projection Method for the Solution of the Incompressible Unsteady Stokes Equations.
Vahan Hovhannisyan, Panos Parpas, Stefanos Zafeiriou:
MAGMA: Multi-level accelerated gradient mirror descent algorithm for large-scale convex composite minimization.
Michael Zehnder, Holger Wache, Hans Friedrich Witschel, Danilo Zanatta, Miguel Rodriguez:
Energy saving in smart homes based on consumer behaviour: A case study.

Barbara Zogala-Siudem, Grzegorz Siudem, Anna Cena, Marek Gagolewski:
Agent-based model for the h-index - Exact solution.

Alexander Lozovskiy:
A greedy algorithm for the minimization of a ratio of same-index element sums from two positive arrays.
Siddharth Patwardhan, Subhayan Roy Moulick, Prasanta K. Panigrahi:
Efficient Controlled Quantum Secure Direct Communication Protocols.

Carlos Hugo López-Caraballo, Juan A. Lazzús, Ignacio Salfate, Pedro Rojas, Marco Rivera, Luis Palma-Chilla:
Impact of noise on a dynamical system: prediction and uncertainties from a swarm-optimized neural network.
Qiyi Lu, Xingye Qiao:
Significance Analysis of High-Dimensional, Low-Sample Size Partially Labeled Data.
Bernhard Gittenberger, Zbigniew Golebiewski:
On the number of lambda terms with prescribed size of their De Bruijn representation.
Ming-Xia Li, Wen-Jie Xie, Zhi-Qiang Jiang, Wei-Xing Zhou:
Communication cliques in mobile phone calling networks.
Matthew B. Hawes, Lyudmila Mihaylova, François Septier, Simon J. Godsill:
A Bayesian Compressed Sensing Kalman Filter for Direction of Arrival Estimation.
Hector Zenil, James A. R. Marshall, Jesper Tegnér:
Approximations of Algorithmic and Structural Complexity Validate Cognitive-behavioural Experimental Results.
Yingxiang Yang, Jalal Etesami, Negar Kiyavash:
Efficient Neighborhood Selection for Gaussian Graphical Models.
Suneel Sarswat, Kandathil Mathew Abraham, Subir Kumar Ghosh:
Identifying collusion groups using spectral clustering.
Arkadiusz Stopczynski, Alex Pentland, Sune Lehmann:
Physical Proximity and Spreading in Dynamic Social Networks.
José A. Iglesias, Martin Rumpf, Otmar Scherzer:
Shape Aware Matching of Implicit Surfaces based on Thin Shell Energies.
Ya-Feng Liu, Rui Diao, Feng Ye, Hongwei Liu:
An Efficient Inexact Newton-CG Algorithm for the Smallest Enclosing Ball Problem of Large Dimensions.

Boris Leistedt, Jason D. McEwen, Thomas D. Kitching, Hiranya V. Peiris:
3D weak lensing with spin wavelets on the ball.
Karthik Gangavarapu, Vyshakh Babji, Tobias Meißner, Andrew I. Su, Benjamin M. Good:
Branch: An interactive, web-based tool for testing hypotheses and developing predictive models.
Andrey Y. Lokhov, Theodor Misiakiewicz:
Efficient reconstruction of transmission probabilities in a spreading process from partial observations.
Ville Hyvönen, Teemu Pitkänen, Sotiris K. Tasoulis, Liang Wang, Teemu Roos, Jukka Corander:
Fast k-NN search.
Lezhi Wang, Ri-Qi Su, Zi-Gang Huang, Xiao Wang, Wen-Xu Wang, Celso Grebogi, Ying-Cheng Lai:
Control and controllability of nonlinear dynamical networks: a geometrical approach.
Zhe Gan, Chunyuan Li, Ricardo Henao, David E. Carlson, Lawrence Carin:
Deep Temporal Sigmoid Belief Networks for Sequence Modeling.
Bruno Sanguinetti, Anthony Martin, Giulia Traverso, Jonathan Lavoie, Hugo Zbinden:
Perfectly secure steganography: hiding information in the quantum noise of a photograph.
Marius Junge, Renato Renner, David Sutter, Mark M. Wilde, Andreas J. Winter:
Universal recovery from a decrease of quantum relative entropy.
Keisuke Fujii, Hirotada Kobayashi, Tomoyuki Morimae, Harumichi Nishimura, Shuhei Tamate, Seiichiro Tani:
Power of Quantum Computation with Few Clean Qubits.
Jeff Alstott, Giorgio Triulzi, Bowen Yan, Jianxi Luo:
Mapping Technology Space by Normalizing Technology Relatedness Networks.
Uri Shaham, Alexander Cloninger, Ronald R. Coifman:
Provable approximation properties for deep neural networks.

Sebastian Trip, Claudio De Persis:
Optimal frequency regulation in nonlinear structure preserving power networks including turbine dynamics: an incremental passivity approach.
Thierry Sousbie, Stéphane Colombi:
ColDICE: a parallel Vlasov-Poisson solver using moving adaptive simplicial tessellation.
Or Sattath, Siddhardh C. Morampudi, Christopher R. Laumann, Roderich Moessner:
When must a local Hamiltonian be frustration free?
Pablo Huijse, Pablo A. Estévez, Pavlos Protopapas, José C. Príncipe, Pablo Zegers:
Computational Intelligence Challenges and Applications on Large-Scale Astronomical Time Series Databases.
E. D. Vol:
Quantum Look at two Common Logics: the Logic of Primitive Thinking and the Logic of Everyday Human Reasoning.
Laura Alessandretti, Márton Karsai, Laetitia Gauvin:
User-based representation of time-resolved multimodal public transportation networks.
Vasileios Tzoumas, Ali Jadbabaie, George J. Pappas:
Sensor Placement for Optimal Kalman Filtering: Fundamental Limits, Submodularity, and Algorithms.
Quan-Hui Liu, Wei Wang, Ming Tang, Hai-Feng Zhang:
Impacts of complex behavioral responses on asymmetric interacting spreading dynamics in multiplex networks.
Farhad Farokhi, Iman Shames, Michael Cantoni:
Optimal Contract Design for Information Acquisition and Sensing.
Carlo Maria Zwölf, Paul Harrison, Julián Garrido, José Enrique Ruiz, Franck Le Petit:
IVOA recommendation: Parameter Description Language Version 1.0.
Jakob Ablinger, Arnd Behring, Johannes Blümlein, Abilio De Freitas, A. von Manteuffel, Carsten Schneider:
Calculating Three Loop Ladder and V-Topologies for Massive Operator Matrix Elements by Computer Algebra.
Lorenzo Coviello, Massimo Franceschetti, Iyad Rahwan:
Limits of Friendship Networks in Predicting Epidemic Risk.
John Lipor, Laura Balzano, Branko Kerkez, Don Scavia:
Quantile Search: A Distance-Penalized Active Learning Algorithm for Spatial Sampling.
Alexander J. Gates, Luis Mateus Rocha:
Control of complex networks requires both structure and dynamics.
Siamak Ravanbakhsh, Russell Greiner:
Boolean Matrix Factorization and Completion via Message Passing.
Uros Kalabic, Rohit Gupta, Stefano Di Cairano, Anthony M. Bloch, Ilya V. Kolmanovsky:
MPC on manifolds with applications to the control of systems on matrix Lie groups.
Michael Drmota, Manuel Kauers, Lukas Spiegelhofer:
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t.
Iman Kazemian, Samin Aref:
A green perspective on capacitated time-dependent vehicle routing problem with time windows.
Chengpu Yu, Michel Verhaegen, Shahar Z. Kovalsky, Ronen Basri:
Identification of Structured LTI MIMO State-Space Models.
Shakir Mohamed, Danilo Jimenez Rezende:
Variational Information Maximisation for Intrinsically Motivated Reinforcement Learning.
Dmitry Storcheus, Mehryar Mohri, Afshin Rostamizadeh:
Foundations of Coupled Nonlinear Dimensionality Reduction.
Xin Jiang, Patricia Reynaud-Bouret, Vincent Rivoirard, Laure Sansonnet, Rebecca Willett:
A data-dependent weighted LASSO under Poisson noise.
Chen-Yu Lee, Patrick W. Gallagher, Zhuowen Tu:
Generalizing Pooling Functions in Convolutional Neural Networks: Mixed, Gated, and Tree.
Junpei Komiyama, Junya Honda, Hiroshi Nakagawa:
Regret Lower Bound and Optimal Algorithm in Finite Stochastic Partial Monitoring.
Claire Vernade, Olivier Cappé:
Learning From Missing Data Using Selection Bias in Movie Recommendation.
Adam Hackett, Davide Cellai, S. Gómez, Alexandre Arenas, James P. Gleeson:
Bond percolation on multiplex networks.
Daniel K. Molzahn, Dhagash Mehta, Matthew E. Niemerg:
Toward Topologically Based Upper Bounds on the Number of Power Flow Solutions.
Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski:
Optimal quantum algorithm for polynomial interpolation.
Marc Wiedermann, Jonathan F. Donges, Jürgen Kurths, Reik V. Donner:
Spatial network surrogates for disentangling complex system structure from spatial embedding of nodes.
Dougal J. Sutherland, Junier B. Oliva, Barnabás Póczos, Jeff G. Schneider:
Linear-time Learning on Distributions with Approximate Kernel Embeddings.

Daniel R. Jiang, Warren B. Powell:
Risk-Averse Approximate Dynamic Programming with Quantile-Based Risk Measures.
Ervin Györi, Tamás Róbert Mezei:
Partitioning orthogonal polygons into at most 8-vertex pieces, with application to an art gallery theorem.
Kelum Gajamannage, Erik M. Bollt:
Detecting phase transitions in collective behavior using manifold's curvature.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
